Towards observational type theory (2006)

by Thorsten Altenkirch , Conor Mcbride
Venue:In preparation
Citations:2 - 0 self