Constructor subtyping in the calculus of inductive constructions

Activity: Lecture / PresentationAcademic

Period18 Jan 2000
Held atMita logic seminar Tokyo University
Event typeSeminar