Towards observational type theory (2006)

by Thorsten Altenkirch, Conor McBride