Constructor subtyping in the calculus of inductive constructions

van Raamsdonk, F. (Speaker)

Activity: Lecture / Presentation › Academic

Period18 Jan 2000
Event titleMita logic seminar Tokyo University
Event typeSeminar