An application of constructive completeness (1996)

by THIERRY COQUAND, JAN SMITH
Venue:Proceedings of the workshop TYPES '95