Rezultati

eNauka >  Rezultati >  Strong normalization and typability with intersection types
Naziv: Strong normalization and typability with intersection types
Autori: Ghilezan, Silvia  
Godina: 1996
Publikacija: Notre Dame Journal of Formal Logic
ISSN: 0029-4527 Notre Dame Journal of Formal Logic Pretraži identifikator
Izdavač: University of Notre Dame
Tip rezultata: Naučni članak
Kolacija: vol. 37 br. 1 str. 44-52
DOI: 10.1305/ndjfl/1040067315
Scopus-ID: 2-s2.0-0005719921
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/2617
https://enauka.gov.rs/handle/123456789/579421
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

28
SCOPUSTM
20
OpenCitations
Alt metrika
Dimensions

Pronađi DOI
Unpaywall

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