Checking Algorithms for Pure Type Systems (1993)

Cached

Download Links

by L.S. van Benthem Jutting , J. McKinna , R. Pollack
Citations:29 - 8 self