A formalization of the Ramified Type Theory (1994)

Cached

Download Links

by Twan Laan
Citations:3 - 1 self

Document Versions

A formalization of the Ramified Type Theory –Twan Laan — 1994