scientific article
From MaRDI portal
Publication:3125737
zbMATH Open0873.03011MaRDI QIDQ3125737
Publication date: 20 March 1997
Title of this publication is not available (Why is that?)
paradoxesapplicationspsychologytype systemsgrammarphilosophyfunctionalityChurch-Rosser theoremcombinatory logic for non-mathematiciansethymologyillative logicpredicate functor logic
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Combinatory logic and lambda calculus (03B40)
Related Items (13)
A foray into combinatory logic ⋮ A semantic approach to illative combinatory logic ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A Nominal Axiomatization of the Lambda Calculus ⋮ Compact bracket abstraction in combinatory logic ⋮ A basis result in combinatory logic ⋮ Are logical languages compositional? ⋮ Title not available (Why is that?) ⋮ Reversible combinatory logic ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3125737)
