Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: A revised completeness result for the simply typed $λμ$-calculus using realizability semantics
(Submitted on 29 Dec 2016 (v1), last revised 21 Aug 2017 (this version, v4))
Abstract: In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability semantics using a particular term model. This paper corrects some errors in [21] by the first author and Saber.
Submission history
From: Christoph Rauch [view email] [via LOGICAL proxy][v1] Thu, 29 Dec 2016 18:02:36 GMT (30kb)
[v2] Thu, 22 Jun 2017 10:30:01 GMT (31kb)
[v3] Thu, 13 Jul 2017 09:42:52 GMT (31kb)
[v4] Mon, 21 Aug 2017 11:08:36 GMT (38kb,D)
Link back to: arXiv, form interface, contact.