A general adequacy result for a linear functional language

DOI10.1016/S0304-3975(96)00233-2MaRDI QIDQ1391860zbMATH OpenFDO

Authors 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)

Recommendations

• Publication:4490356
• Computational interpretations of linear logic
• Functional interpretations of intuitionistic linear logic
• A modified GoI interpretation for a linear functional programming language and its adequacy

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4021100 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3733226 (Why is no real title available?)
• scientific article; zbMATH DE number 1333593 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 2079016 (Why is no real title available?)
• scientific article; zbMATH DE number 1476491 (Why is no real title available?)
• scientific article; zbMATH DE number 1479606 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• A note on full intuitionistic linear logic
• A note on inconsistencies caused by fixpoints in a cartesian closed category
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Computational interpretations of linear logic
• LCF considered as a programming language
• Lilac: a functional programming language based on linear logic
• On the unity of logic

Cited in

(5)

• A modified GoI interpretation for a linear functional programming language and its adequacy
• Semantics for a lambda calculus for string diagrams
• scientific article; zbMATH DE number 7350775 (Why is no real title available?)
• Computational adequacy of the FIX-logic
• scientific article; zbMATH DE number 1476491 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lilac

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

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