Altenkirch, Thorsten and Kaposi, Ambrus (2017) Normalisation by Evaluation for Type Theory, in Type Theory. LOGICAL METHODS IN COMPUTER SCIENCE, 13 (4). ISSN 1860-5974
|
Text
1612.02462.pdf Available under License Creative Commons Attribution. Download (416kB) | Preview |
Official URL: https://doi.org/10.23638/LMCS-13(4:1)2017
| Item Type: | Article |
|---|---|
| Subjects: | Q Science / természettudomány > Q1 Science (General) / természettudomány általában |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 30 May 2023 14:18 |
| Last Modified: | 30 May 2023 14:18 |
| URI: | http://real.mtak.hu/id/eprint/166329 |
Actions (login required)
 |
Edit Item |
