Резултати

eNauka >  Results >  Natural deduction and sequent typed lambda calculus
Title: Natural deduction and sequent typed lambda calculus
Authors: Ghilezan, Silvia  
Issue Date: 1999
Publication: Novi Sad Journal of Mathematics
ISSN: 2406-2014 Search Idenfier
Type: Article
Collation: vol. 29 br. 2 str. 209-220
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5157
https://enauka.gov.rs/handle/123456789/930891
URL: https://www.emis.de/journals/NSJOM/Papers/29_2/NSJOM_29_2_209_220.pdf
M-category: 
Mp. category will be shown later

Пронађи DOI

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