Constructor subtyping in the calculus of inductive constructions

Activity: Lecture / Presentation › Academic

Period18 Jan 2000
Event titleMita logic seminar Tokyo University
Event typeSeminar