Combinatory logic. Pure, applied and typed

MaRDI QIDQ3019505zbMATH OpenFDO

Authors Katalin Bimbó

Publication date 28 July 2011

zbMATH Keywords

combinatory logiclambda calculuscombinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(19)

• Equivalences between pure type systems and systems of illative combinatory logic
• scientific article; zbMATH DE number 722586 (Why is no real title available?)
• Combinatory logic with polymorphic types
• Clones, closed categories, and combinatory logic
• scientific article; zbMATH DE number 2101985 (Why is no real title available?)
• scientific article; zbMATH DE number 3941502 (Why is no real title available?)
• Deep fried logic
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 851066 (Why is no real title available?)
• scientific article; zbMATH DE number 823591 (Why is no real title available?)
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• A foray into combinatory logic
• A Nominal Axiomatization of the Lambda Calculus
• Current trends in substructural logics
• On the decidability of implicational ticket entailment
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Lambek calculus with conjugates
• scientific article; zbMATH DE number 4083581 (Why is no real title available?)

This page was built for publication: Combinatory logic. Pure, applied and typed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3019505)