Investigations on the dual calculus
type: Item
instance of: scholarly article
title: Investigations on the dual calculus
zbMATH Open document ID: 1097.68023
published in: Theoretical Computer Science
publication date: 2006-09-14T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 5054321
zbMATH Keywords: dual calculus
zbMATH Keywords: classical lambda calculi
zbMATH Keywords: Curry-Howard isomorphism
zbMATH Keywords: continuations
author: Nikos Tzevelekos
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.04.009
OpenAlex ID: W2058375937
cites work: A symmetric lambda calculus for classical program extraction
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q4023900
cites work: The duality of computation
cites work: Some lambda calculi with categorical sums and products
cites work: The revised report on the syntactic theories of sequential control and state
cites work: Declarative continuations: An investigation of duality in programming language semantics
cites work: The Expressiveness of Simple and Second-Order Type Structures
cites work: Q3994895
cites work: Q4255509
cites work: Q4472466
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Control categories and duality: On the categorical semantics of the lambda-mu calculus
cites work: Continuations: A mathematical semantics for handling full jumps
cites work: Call-by-value is dual to call-by-name
cites work: Term Rewriting and Applications
DOI: 10.1016/J.TCS.2006.04.009
description: scientific article