scientific article; zbMATH DE number 1342286
From MaRDI portal
Publication:4263877
zbMath0931.03071MaRDI QIDQ4263877
Publication date: 21 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
canonical formsnatural deductionimplicational fragmentterm calculussubject reductionintuitionistic noncommutative linear logic
Related Items (5)
A first-order one-pass CPS transformation ⋮ Static typing for a substructural lambda calculus ⋮ Monad transformers as monoid transformers ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ A formal logic for formal category theory
This page was built for publication:
