Pure iso-type systems.
Saved in:
| 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.
Login for full access.
|
|
Be the first to leave a comment!
