Skip to main navigation
Skip to search
Skip to main content
Vrije Universiteit Amsterdam Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Activities
Prizes
Press/Media
Projects
Search by expertise, name or affiliation
Constructor subtyping in the calculus of inductive constructions
van Raamsdonk, F.
(Speaker)
Theoretical Computer Science
Theoretical Computer Science
Activity
:
Lecture / Presentation
›
Academic
Period
13 Sep 2000
Event title
final project meeting CONFER II
Event type
Lecture