Extension of Martin-Löf's Type Theory with Record Types and Subtyping (1998)

Cached

Download Links

by Gustavo Betarte , Alvaro Tasistro
Citations:24 - 3 self

Document Versions

Extension of Martin-Löf's Type Theory with Record Types and Subtyping –Gustavo Betarte, Alvaro Tasistro — 1998