Declarative continuations: An investigation of duality in programming language semantics
From MaRDI portal
Publication:5096263
DOI10.1007/BFb0018355zbMath1493.68108MaRDI QIDQ5096263
Publication date: 16 August 2022
Published in: Category Theory and Computer Science (Search for Journal in Brave)
68N15: Theory of programming languages
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Subtractive logic, CPS-translation as adjoint, On the call-by-value CPS transform and its semantics, Investigations on the dual calculus, Call-by-Value Is Dual to Call-by-Name, Extended