Резултати

еНаука >  Резултати >  A note on typed combinators and typed lambda terms
Назив: A note on typed combinators and typed lambda terms
Аутори: Ghilezan, Silvia  
Година: 1993
Публикација: Review of Research Faculty of Science. Mathematics Series
ISSN: 0352-0900 Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 23 br. 1 str. 319-329
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5164
https://enauka.gov.rs/handle/123456789/930869
URL: https://sites.dmi.uns.ac.rs/nsjom/Papers/23_1/NSJOM_23_1_319_329.pdf
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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