Proof-assistants using Dependent Type Systems (2001)

Cached

Download Links

by Henk Barendregt , Herman Geuvers
Citations:48 - 4 self