Results

eNauka >  Rezultati >  Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Naziv: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Autori: Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre
Godina: 2008
Publikacija: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Pretraži identifikator
Izdavač: Elsevier
Tip rezultata: Naučni članak
Kolacija: vol. 398 br. 1-3 str. 114-128
DOI: 10.1016/j.tcs.2008.01.022
WoS-ID: 000256461400009
Scopus-ID: 2-s2.0-43049098185
URI: https://enauka.gov.rs/handle/123456789/579408
http://researchrepository.mi.sanu.ac.rs/handle/123456789/2601
https://plus.cobiss.net/cobiss/sr/sr/bib/1025314229#izum.si
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

17
SCOPUSTM
10
OpenCitations
9
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall

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