View in EDS HTML Full Text PDF Full Text

Pure iso-type systems.

Saved in:
Bibliographic Details
Title: Pure iso-type systems.
Authors: YANG, YANPENG1 ypyang@cs.hku.hk, OLIVEIRA, BRUNO C. D. S.1
Source: Journal of Functional Programming. 2019, Vol. 29, p1-46. 46p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796819000108