Results
| Title: | Confluence of untyped lambda calculus via simple types | Authors: | Ghilezan, Silvia  ; Kunčak, Viktor |
Issue Date: | 2001 | Publication: | Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence | ISSN: | 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier |
Publisher: | Springer Link | Type: | Article | ISBN: | 978-3-540-45446-5 Search Idenfier |
Collation: | vol. 2202 str. 38-49 | DOI: | 10.1007/3-540-45446-2_3 | Scopus-ID: | 2-s2.0-67949096699 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2614 https://enauka.gov.rs/handle/123456789/579418 |
Availability note: | Пуни текст није јавно доступан | M-category: | 21M21 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.