|
Professor of Applied Logic Department of Theoretical Computer Science Faculty of Sciences Vrije Universiteit De Boelelaan 1081a 1081 HV Amsterdam personal homepage e-mail: (λx.jwkxcs.vu.nl)@ |
|
|
Professor of Applied Logic Department of Theoretical Computer Science Faculty of Sciences Vrije Universiteit De Boelelaan 1081a 1081 HV Amsterdam personal homepage e-mail: (λx.jwkxcs.vu.nl)@ |
