Резултати

еНаука >  Резултати >  Reducibility method in simply typed lambda calculus
Назив: Reducibility method in simply typed lambda calculus
Аутори: Ghilezan, Silvia ; Kunčak, Viktor
Година: 2001
Публикација: Journal of Mathematics 31.1 (2001)
Издавач: Novi Sad : Faculty of Sciences, Department for Mathematics and Informatics
Тип резултата: Научни чланак
Колација: str. 27-32
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/4264
https://enauka.gov.rs/handle/123456789/576838
http://researchrepository.mi.sanu.ac.rs/handle/123456789/5156
URL: https://sites.dmi.uns.ac.rs/nsjom/Papers/31_1/NSJOM_31_1_027_032.pdf
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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