scientific article; zbMATH DE number 742718
From MaRDI portal
Publication:4327828
zbMath0818.03007MaRDI QIDQ4327828
Publication date: 10 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (8)
(Optimal) duplication is not elementary recursive ⋮ Coherence for sharing proof nets ⋮ Coherence for sharing proof-nets ⋮ Unnamed Item ⋮ Strongly reducing variants of the Krivine abstract machine ⋮ Unnamed Item ⋮ Proof nets, garbage, and computations ⋮ Parallel beta reduction is not elementary recursive
This page was built for publication:
