Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

22 March 2005, PhD defense, Clemens Grabmayer

Candidate: Clemens Grabmayer
Title: Relating Proof Systems for Recursive Types
Date: Tuesday 22 March 2005
Time: 13:45
Location: Aula, Vrije Universiteit, de Boelelaan 1105
Promotor: Prof.dr J.W.Klop
Copromotor: dr R.C. de Vrijer

Please note that this newsitem has been archived, and may contain outdated information or links.