| Authors: | Espirito Santo, Jose Ghilezan, Silvia |
Title: | Characterization of strong normalizability for a lambda-calculus with co-control | First page: | 57 | Last page: | 58 | Conference: | TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary | Issue Date: | Jun-2017 | Rank: | M34 | URL: | http://types2017.elte.hu/proc.pdf#page=65 | Publisher: | Department of Programming Languages and Compilers, Faculty of Informatics, Eotvos Lorand University | 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 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.