Types for Proofs and Programs (1999)

Cached

Download Links

by Bernd Grobauer