Results
| Naziv: | Kripke-style semantics and completeness for full simply typed Lambda calculus | Autori: | Kašterović, Simona   ; Ghilezan, Silvia |
Godina: | 2021 | Publikacija: | Journal of Logic and Computation | ISSN: | 0955-792X Journal of Logic and Computation Search Idenfier |
Publisher: | Oxford Academic Press | Type: | Article | Collation: | vol. 30 br. 8 str. 1567-1608 | DOI: | 10.1093/LOGCOM/EXAA055 | WoS-ID: | 000606031500008 | Scopus-ID: | 2-s2.0-85100843193 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4545 https://enauka.gov.rs/handle/123456789/576975 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4219 |
Updated by: | Милојевић, Кристина[Matematički institut SANU] |
M-category: | 21M21 |
2
SCOPUSTM
2
OpenCitations
2
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.