Резултати
| Title: | Characterization of strong normalizability for a lambda-calculus with co-control | Authors: | Espirito Santo, Jose; Ghilezan, Silvia |
Issue Date: | 2017 | Publisher: | Budampest : Faculty of Informatics, Eotvos Lorand University | Type: | Conference Paper | Collation: | str. 57-58 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4227 https://enauka.gov.rs/handle/123456789/576819 |
URL: | http://types2017.elte.hu/proc.pdf#page=65 | Project: | Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education |
Availability note: | Подаци и/или пуни текст су непотпуни | M-category: | Mp. category will be shown later |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.