scientific article; zbMATH DE number 786488

MaRDI QIDQ4842969zbMATH OpenFDO

Authors Thomas Ehrhard

Publication date 16 August 1995

zbMATH Keywords

strong stabilitylinear logicdenotational semanticsCartesian closed categorypurely functional languages

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55)

Recommendations

• Localisation and interaction in one dimension
• Linear logic, coherence and dinaturality
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• Coherence in linear predicate logic
• Hybrid linear logic, revisited
• scientific article; zbMATH DE number 1678365
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• Cofinal stable logics
• Hybrid and subexponential linear logics

Cited in

(5)

• From qualitative to quantitative semantics. By change of base
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• A stable programming language
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• Localisation and interaction in one dimension

This page was built for publication:

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