Results

eNauka >  Results >  Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Title: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Authors: Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre
Issue Date: 2008
Publication: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Search Idenfier
Publisher: Elsevier
Type: Article
Collation: 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-category: 
22M22

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.