An Application of Constructive Completeness. (1995)

Cached

Download Links

by Thierry Coquand , Jan M. Smith
Venue:In Proceedings of the Workshop TYPES '95
Citations:4 - 1 self