Proof-assistants using Dependent Type Systems (2001)

Cached

Download Links

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