Results
| Naziv: | Towards Completeness of Full Simply Typed Lambda Calculus | Autori: | Ghilezan, Silvia   ; Kašterović, Simona |
Godina: | 2020 | Publikacija: | EUTYPES-TYPES2020 | Izdavač: | University of Turin | Tip rezultata: | Konferencijski rad | Kolacija: | str. 164-166 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4218 https://enauka.gov.rs/handle/123456789/576812 |
URL: | https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf | Napomena: | Verifikacija urađena na osnovu uvida u abstrakt | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.