Publication:4842969
From MaRDI portal
zbMath0824.03036MaRDI QIDQ4842969
Publication date: 16 August 1995
linear logic; strong stability; denotational semantics; Cartesian closed category; purely functional languages
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
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