Constructor subtyping in the calculus of inductive constructions

Activity: Lecture / PresentationAcademic

Period13 Sep 2000
Held atfinal project meeting CONFER II
Event typeLecture