A partial formalisation of a dependently typed language as an inductive-recursive family (2007)

by Nils Anders Danielsson
Venue:IN PROCEEDINGS OF THE TYPES MEETING 2006
Citations:13 - 0 self