An Algorithm for Type-Checking Dependent Types (1996)

Cached

Download Links

by Thierry Coquand
Venue:Science of Computer Programming
Citations:44 - 4 self