scientific article; zbMATH DE number 786488
From MaRDI portal
Publication:4842969
zbMATH Open0824.03036MaRDI QIDQ4842969FDOQ4842969
Authors: Thomas Ehrhard 
Publication date: 16 August 1995
Title of this publication is not available (Why is that?)
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
strong stabilitylinear logicdenotational semanticsCartesian closed categorypurely functional languages
Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55)
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)
