Programs with continuations and linear logic

DOI10.1016/0167-6423(93)90005-AMaRDI QIDQ1330460zbMATH OpenOpenAlexFDO

Authors Shin-ya Nishizaki

Publication date 21 July 1994

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(93)90005-a

zbMATH Keywords

linear logicprograms with continuationssimply typed \(\lambda\)- calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Programs with continuations and linear logic
• Programs and logics
• Program logics and their applications
• Logic Programming with Focusing Proofs in Linear Logic
• Logic programming in a fragment of intuitionistic linear logic
• Logic programming with sequent systems: a linear logic approach
• scientific article; zbMATH DE number 1104361
• Publication:3030254
• Logic programs and recursion

Cited in

(6)

• Constructive classical logic as CPS-calculus
• Existential continuation
• A type-theoretic foundation of continuations and prompts
• scientific article; zbMATH DE number 1538029 (Why is no real title available?)
• Programs with continuations and linear logic
• Continuation calculus

This page was built for publication: Programs with continuations and linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1330460)