Battyányi, Péter and Karim, Nour (2017) Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi. LOGICAL METHODS IN COMPUTER SCIENCE, 13 (3). pp. 1-22. ISSN 1860-5974
|
Text
1706.07246.pdf Available under License Creative Commons Attribution. Download (420kB) | Preview |
Official URL: https://doi.org/10.23638/LMCS-13(3:34)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: | 25 May 2023 14:32 |
| Last Modified: | 25 May 2023 14:32 |
| URI: | http://real.mtak.hu/id/eprint/166152 |
Actions (login required)
 |
Edit Item |
