scientific article; zbMATH DE number 1070654
From MaRDI portal
Publication:4357099
zbMath0880.03035MaRDI QIDQ4357099
Publication date: 7 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functional completenesstyped lambda-calculusinternal languagelinear multicategorymultiplicative fragment of linear intuitionistic logic
Logic in computer science (03B70) Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Categorical structures (18D99)
This page was built for publication:
