Programs with continuations and linear logic

DOI10.1007/3-540-54415-1_62zbMath1493.68060OpenAlexW1551819073MaRDI QIDQ5096236

Shin-ya Nishizaki

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_62

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Monad as modality

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• A syntactic theory of sequential control

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