scientific article; zbMATH DE number 515728
From MaRDI portal
zbMath0840.03003MaRDI QIDQ4283230
J. M. E. Hyland, G. M. Bierman, Nick Benton, V. C. V. de Paiva
Publication date: 1 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items
Natural deduction for intuitionistic linear logic, Prime algebraicity, Experiments in linear natural deduction, When programs have to watch paint dry, Glueing and orthogonality for models of linear logic, Hypernormalisation in an abstract setting, Three faces of natural deduction, Linearity, Control Effects, and Behavioral Types, Domain theory for concurrency, Synthetic domain theory and models of linear Abadi {\&} Plotkin logic, Relating State-Based and Process-Based Concurrency through Linear Logic, Proof theory in the abstract, Relating state-based and process-based concurrency through linear logic (full-version), Nominal Domain Theory for Concurrency, Possible worlds and resources: The semantics of \(\mathbf{BI}\), Unnamed Item, Proof-search in type-theoretic languages: An introduction, Multiplicative Linear Logics and Fibrations, Comonadic Notions of Computation
