Activities per year
- 25 - 50 out of 57 results
Search results
-
Proof systems for cyclic term graphs
Klop, J. W. (Speaker)
12 Jun 2000Activity: Lecture / Presentation › Academic
-
Termination in simply typed lambda calculus
van Raamsdonk, F. (Speaker)
14 Jan 2000Activity: Lecture / Presentation › Academic
-
Academia Europaea (AE) (External organisation)
de Bakker, J. W. (Member)
2000Activity: Membership › Academic
-
Technische Universiteit Eindhoven (External organisation)
de Bakker, J. W. (Member)
2000Activity: Membership › Academic
-
-
A Hoare like logic for verifying probabilistic programs
den Hartog, J. I. (Speaker)
12 Feb 2000Activity: Lecture / Presentation › Academic
-
-
-
-
Sequentiality in the lambda calculus
Klop, J. W. (Speaker)
13 Sept 2000Activity: Lecture / Presentation › Academic
-
Technische Universiteit Eindhoven (External organisation)
de Bakker, J. W. (Member)
2000Activity: Membership › Academic
-
-
Academia Europaea (AE) (External organisation)
de Bakker, J. W. (Member)
2000Activity: Membership › Academic
-
-
Constructor subtyping in the calculus of inductive constructions
van Raamsdonk, F. (Speaker)
18 Jan 2000Activity: Lecture / Presentation › Academic
-
CSL (Computer Science Logic) (External organisation)
Klop, J. W. (Member)
2000Activity: Membership › Academic
-
-
-
-
-
-
-
Akademieraad voor de Wiskunde (External organisation)
de Bakker, J. W. (Member)
2000Activity: Membership › Academic
-
-
Technische Universiteit Eindhoven (External organisation)
de Bakker, J. W. (Member)
2000Activity: Membership › Academic