Towards observational type theory (2006)

by Thorsten Altenkirch , Conor Mcbride
Venue:In preparation
Citations:3 - 1 self