Rezultati

eNauka >  Rezultati >  Reducibility method in simply typed lambda calculus
Naziv : Reducibility method in simply typed lambda calculus
Autori: Ghilezan, Silvia  ; Kunčak, Viktor
Godina: 2001
Izdavač: Univerzitet u Novom Sadu
Tip rezultata: Naučni članak
Kolacija: 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
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.