Резултати

еНаука >  Резултати >  Lambda terms for natural deduction, sequent calculus and cut elimination
Naziv: Lambda terms for natural deduction, sequent calculus and cut elimination
Autori: Barendregt, Henk; Ghilezan, Silvia  
Godina: 2000
Publikacija: Journal of Functional Programming
ISSN: 0956-7968 Journal of Functional Programming Pretraži identifikator
Izdavač: Cambridge University Press
Tip rezultata: Naučni članak
Kolacija: vol. 10 br. 1 str. 121-134
DOI: 10.1017/S0956796899003524
Scopus-ID: 2-s2.0-0347268436
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/2615
https://enauka.gov.rs/handle/123456789/579419
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

23
SCOPUSTM
17
OpenCitations
Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.