Combinatory logic. Pure, applied and typed

zbMATH Open1245.03001MaRDI QIDQ3019505FDOQ3019505

Authors: Katalin Bimbó 

Publication date: 28 July 2011

Recommendations

• scientific article; zbMATH DE number 993359
• scientific article; zbMATH DE number 783760
• scientific article
• scientific article; zbMATH DE number 3993540
• scientific article; zbMATH DE number 722586

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)

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

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)