Type-checking Injective Pure Type Systems (1993)

Cached

Download Links

by Gilles Barthe
Citations:3 - 1 self