Simona Kasterovic, Silvia Ghilezan. Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. Journal of Logic and Computation, 30(8):1567-1608, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.