Results

eNauka >  Results >  Characterization of strong normalizability for a lambda-calculus with co-control
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

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.