![](/img/cover-not-exists.png)
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus
KaÅ¡teroviÄ, Simona, Ghilezan, SilviaJournal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exaa055
Date:
September, 2020
File:
PDF, 674 KB
2020