Intersection types for intuitionistic lambda-Gentzen calculus

Ghilezan, Silvia; Ivetić, Jelena

Rezultati

eNauka > Rezultati > Intersection types for intuitionistic lambda-Gentzen calculus

Naziv:	Intersection types for intuitionistic lambda-Gentzen calculus
Autori:	Ghilezan, Silvia ; Ivetić, Jelena
Godina:	2007
Publikacija:	Publications de l Institut Mathematique, Beograd
ISSN:	0350-1302 Pretraži identifikator
Izdavač:	Mathematical Institute of the SASA
Tip rezultata:	Naučni članak
Kolacija:	vol. 82 br. 96 str. 159-164
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/4259 https://enauka.gov.rs/handle/123456789/576833
URL:	http://elib.mi.sanu.ac.rs/files/journals/publ/102/n096p085.pdf
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

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