The Agda homepage, February 2000. http://www.cs.chalmers.se/~catarina/agda/. 38 T. Coquand and (1990)

by C Coquand
Venue:In LNCS 417, COLOG ’88, International Conference on Computer Logic