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
18 Jan 2000
Event title
Mita logic seminar Tokyo University
Event type
Seminar