Rezultati

eNauka >  Rezultati >  The maximality of the typed lambda calculus and of cartesian closed categories
Naziv: The maximality of the typed lambda calculus and of cartesian closed categories
Autori: Došen, Kosta  ; Petrić, Zoran  
Godina: 2000
Publikacija: Publications de l Institut Mathematique, Beograd
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Pretraži identifikator
Izdavač: Mathematical Institute of the SASA
Tip rezultata: Naučni članak
Kolacija: vol. 68 br. 82 str. 1-19
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3841
https://enauka.gov.rs/handle/123456789/577392
https://plus.cobiss.net/cobiss/sr/sr/bib/160267788#izum.si
URL: http://elib.mi.sanu.ac.rs/files/journals/publ/88/n082p001.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.