Rezultati
| Title: | Reducibility: A ubiquitous method in lambda calculus with intersection types | Authors: | Ghilezan, Silvia   ; Likavec, Silvia |
Issue Date: | 2003 | Publication: | Electronic Notes in Theoretical Computer Science | ISSN: | 15710661  Search Idenfier |
Publisher: | Elsevier | Type: | Article | Collation: | vol. 70 br. 1 str. 106-123 | DOI: | 10.1016/S1571-0661(04)80493-6 | Scopus-ID: | 2-s2.0-18944382772 | URI: | https://enauka.gov.rs/handle/123456789/919786 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4262 |
URL: | https://www.sciencedirect.com/science/article/pii/S1571066104804936 | Metadata source: | (Preuzeto iz CrossRef-a) Likavec, Silvia | M-category: | Mp. category will be shown later |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.