Резултати

еНаука >  Резултати >  Reducibility method in simply typed lambda calculus
Назив : Reducibility method in simply typed lambda calculus
Аутори: Ghilezan, Silvia  ; Kunčak, Viktor
Година: 2001
Издавач: Univerzitet u Novom Sadu
Тип резултата: Научни чланак
Колација: vol. 31 str. 27-32
URI: https://enauka.gov.rs/handle/123456789/576838
http://researchrepository.mi.sanu.ac.rs/handle/123456789/4264
URL: https://sites.dmi.uns.ac.rs/nsjom/Papers/31_1/NSJOM_31_1_027_032.pdf
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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