Constructor subtyping in the calculus of inductive constructions

Activity: Lecture / PresentationAcademic

Period18 Jan 2000
Event titleMita logic seminar Tokyo University
Event typeSeminar