Rezultati
eNauka >
Rezultati >
Characterization of strong normalizability for a lambda-calculus with co-control
| Naziv: | Characterization of strong normalizability for a lambda-calculus with co-control | Autori: | Espirito Santo, Jose; Ghilezan, Silvia   |
Godina: | 2017 | Izdavač: | Budampest : Faculty of Informatics, Eotvos Lorand University | Tip rezultata: | Konferencijski rad | Kolacija: | 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 | Projekat: | 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 |
Napomena o dostupnosti: | Подаци и/или пуни текст су непотпуни | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.