Programs with continuations and linear logic

DOI10.1016/0167-6423(93)90005-AzbMath0799.03033OpenAlexW1992485564MaRDI QIDQ1330460

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

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

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