Резултати

еНаука >  Резултати >  Characterization of strong normalizability for a lambda-calculus with co-control
Назив: Characterization of strong normalizability for a lambda-calculus with co-control
Аутори: Espirito Santo, Jose; Ghilezan, Silvia  
Година: 2017
Издавач: Budampest : Faculty of Informatics, Eotvos Lorand University
Тип резултата: Конференцијски рад
Колација: 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
Пројекат: 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
Напомена о доступности: Подаци и/или пуни текст су непотпуни
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.