Activities per year
Activities
Search results
-
Regularity-Preserving but not Reflecting Encodings
C.A. Grabmayer (Speaker)
9 Jul 2015Activity: Lecture / Presentation › Academic
-
-
Maximal Sharing in the Lambda Calculus with Letrec
C.A. Grabmayer (Speaker)
1 Sep 2014Activity: Lecture / Presentation › Academic
-
hogere orde en erste orde (ter ere van het afscheid van Vincent van Oostrom van de Universiteit Utrecht)
C.A. Grabmayer (Speaker)
2 Jul 2014Activity: Lecture / Presentation › Academic
-
-
Termination in simply typed lambda calculus
F. van Raamsdonk (Speaker)
14 Jan 2000Activity: Lecture / Presentation › Academic
-
Constructor subtyping in the calculus of inductive constructions
F. van Raamsdonk (Speaker)
13 Sep 2000Activity: Lecture / Presentation › Academic
-
-
Proof-theoretic interconnections between known axiom- and inference-systems concerning recursice type equality
C.A. Grabmayer (Speaker)
27 Oct 2000Activity: Lecture / Presentation › Academic
-
A Hoare like logic for verifying probabilistic programs
J.I. den Hartog (Speaker)
12 Feb 2000Activity: Lecture / Presentation › Academic
-
-
Proof systems for cyclic term graphs
J.W. Klop (Speaker)
12 Jun 2000Activity: Lecture / Presentation › Academic
-
-
-
Combining Probabilistic Choice and Action Refinement in a Metric Setting
J.I. den Hartog (Speaker)
20 Jul 2000Activity: Lecture / Presentation › Academic
-
Constructor subtyping in the calculus of inductive constructions
F. van Raamsdonk (Speaker)
18 Jan 2000Activity: Lecture / Presentation › Academic
-
Sequentiality in the lambda calculus
J.W. Klop (Speaker)
13 Sep 2000Activity: Lecture / Presentation › Academic