scientific article; zbMATH DE number 823591

From MaRDI portal

Revision as of 03:46, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4856946

Jump to:navigation, search

zbMath0856.03014MaRDI QIDQ4856946

Martin W. Bunder

Publication date: 5 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

classical propositional logic lambda calculus lambda terms type theory combinators combinatory logic type assignment proof transformations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Semantics for dual and symmetric combinatory calculi

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4856946&oldid=19207334"