Encoding the Calculus of Constructions in a Higher-Order Logic (1993)

Cached

Download Links

by Amy Felty
Venue:IN EIGHTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:4 - 2 self