An Algorithm for Type-Checking Dependent Types (1996)

Cached

Download Links

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