Publication:4128539
From MaRDI portal
zbMath0357.02027MaRDI QIDQ4128539
Publication date: 1976
Related Items
Linear logic, Stability and computability in coherent domains, Towards a semantic characterization of cut-elimination, A typed calculus based on a fragment of linear logic, Normal functors, power series and \(\lambda\)-calculus, The linear abstract machine, Proof systems for infinite behaviours, Interaction systems II: The practice of optimal reductions, May I borrow your logic? (Transporting logical structures along maps), On finite-valued propositional logical calculi, Intuitionistic three-valued logic and logic programming