A formalization of the Ramified Type Theory (1994)

Cached

Download Links

by Twan Laan
Citations:3 - 1 self