A general adequacy result for a linear functional language

DOI10.1016/S0304-3975(96)00233-2zbMath0901.68104MaRDI QIDQ1391860

Torben Braüner

Publication date: 23 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

operational semanticsintuitionistic linear logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Related Items (1)

Unnamed Item

Uses Software

• Lilac

Cites Work

• On the unity of logic
• Computational interpretations of linear logic
• A note on inconsistencies caused by fixpoints in a cartesian closed category
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• LCF considered as a programming language
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• A note on full intuitionistic linear logic
• Lilac: a functional programming language based on linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A general adequacy result for a linear functional language