Theoretical Computer Science

Activities 2000 2015

Filter
Lecture / Presentation

Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)
9 Jul 2015

Activity: Lecture / PresentationAcademic

hogere orde en erste orde (ter ere van het afscheid van Vincent van Oostrom van de Universiteit Utrecht)

C.A. Grabmayer (Speaker)
2 Jul 2014

Activity: Lecture / PresentationAcademic

Nested Term Graphs

C.A. Grabmayer (Speaker)
13 Jul 2014

Activity: Lecture / PresentationAcademic

Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)
1 Sep 2014

Activity: Lecture / PresentationAcademic

Proof-theoretic interconnections between known axiom- and inference-systems concerning recursice type equality

C.A. Grabmayer (Speaker)
27 Oct 2000

Activity: Lecture / PresentationAcademic

Combining Probabilistic Choice and Action Refinement in a Metric Setting

J.I. den Hartog (Speaker)
20 Jul 2000

Activity: Lecture / PresentationAcademic

A Hoare like logic for verifying probabilistic programs

J.I. den Hartog (Speaker)
12 Feb 2000

Activity: Lecture / PresentationAcademic

Proof systems for cyclic term graphs

J.W. Klop (Speaker)
12 Jun 2000

Activity: Lecture / PresentationAcademic

Cyclic term graphs

J.W. Klop (Speaker)
18 Jan 2000

Activity: Lecture / PresentationAcademic

Contexts

M. Bognar (Speaker)
1 Feb 2000

Activity: Lecture / PresentationAcademic

Termination in simply typed lambda calculus

F. van Raamsdonk (Speaker)
14 Jan 2000

Activity: Lecture / PresentationAcademic

Cyclic term graphs

J.W. Klop (Speaker)
1 Feb 2000

Activity: Lecture / PresentationAcademic

Sequentiality in the lambda calculus

J.W. Klop (Speaker)
13 Sep 2000

Activity: Lecture / PresentationAcademic

Constructor subtyping in the calculus of inductive constructions

F. van Raamsdonk (Speaker)
13 Sep 2000

Activity: Lecture / PresentationAcademic

Constructor subtyping in the calculus of inductive constructions

F. van Raamsdonk (Speaker)
18 Jan 2000

Activity: Lecture / PresentationAcademic

Contexts

M. Bognar (Speaker)
18 Apr 2000

Activity: Lecture / PresentationAcademic

Calculus of contexts

R.C. de Vrijer (Speaker)
1 Feb 2000

Activity: Lecture / PresentationAcademic