Holes with Binding Power (2002)

Cached

Download Links

by G. I. Jojgov , Tu Eindhoven
Venue:In Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, H. Geuvers and F. Wiedijk, Eds. Lecture Notes in Computer Science (LNCS 2646
Citations:7 - 0 self