A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
From MaRDI portal
Publication:5367052
DOI10.23638/LMCS-13(3:13)2017zbMath1459.03016arXiv1612.09223OpenAlexW4381707571MaRDI QIDQ5367052
Publication date: 12 October 2017
Full work available at URL: https://arxiv.org/abs/1612.09223
Related Items (1)
This page was built for publication: A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics