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

Kašterović, Simona; Ghilezan, Silvia

Results

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

Title:	Kripke-style semantics and completeness for full simply typed Lambda calculus
Authors:	Kašterović, Simona ; Ghilezan, Silvia
Issue Date:	2021
Publication:	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
M-category:	21M21

2
SCOPUS^TM

2
OpenCitations

2
WEB OF SCIENCE^TM

Altmetric

Dimensions

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Unpaywall