Kripke-style semantics and completeness for full simply typed Lambda calculus

Kašterović, Simona; Ghilezan, Silvia

Rezultati

eNauka > Rezultati > Kripke-style semantics and completeness for full simply typed Lambda calculus

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 Pretraži identifikator
Izdavač:	Oxford Academic Press
Tip rezultata:	Naučni članak
Kolacija:	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
M-kategorija:	21M21 - Rad u vrhunskom međ. časopisu

2
SCOPUS^TM

2
OpenCitations

2
WEB OF SCIENCE^TM

Alt metrika

Dimensions

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.

Unpaywall

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