Characterization of strong normalizability for a sequent lambda calculus with co-control

Results

Title:	Characterization of strong normalizability for a sequent lambda calculus with co-control
Authors:	Gilezan, Silvia ; Espirito Santo, J.
Issue Date:	2017
Publication:	ACM International Conference Proceeding Series
Publisher:	Association for Computing Machinery
Type:	Conference Paper
ISBN:	978-1-450-35291-8 Search Idenfier
Collation:	str. 57-58
DOI:	10.1145/3131851.3131867
WoS-ID:	000463643400018
Scopus-ID:	2-s2.0-85033701105
URI:	https://enauka.gov.rs/handle/123456789/277908 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2580
URL:	https://dl.acm.org/citation.cfm?doid=3131851.3131867 http://types2017.elte.hu/proc.pdf#page=65
Project:	FCT - Fundação para a Ciência e a Tecnologia, project UID-MAT-00013/2013 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
Metadata source:	Migracija
Availability note:	Подаци и/или пуни текст су непотпуни
M-category:	Mp. category will be shown later

1
SCOPUS^TM

1
OpenCitations

2
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM