Extension of Martin-Löf's Type Theory with Record Types and Subtyping (1998)
by
Gustavo Betarte
,
Alvaro Tasistro
| Citations: | 22 - 3 self |
Document Versions
| Extension of Martin-Löf's Type Theory with Record Types and Subtyping –Gustavo Betarte, Alvaro Tasistro — 1998 |
