The Calculus of Constructions and Higher Order Logic (1992)

Cached

Download Links

by Herman Geuvers
Venue:In preparation
Citations:6 - 0 self