scientific article; zbMATH DE number 7226002

MaRDI QIDQ3300788zbMATH OpenFDO

Authors Andrew Polonsky

Publication date 30 July 2020

Full work available at URL https://arxiv.org/abs/1810.02239, https://lmcs.episciences.org/6659

zbMATH Keywords

Böhm treefixed point combinatorFPC generatorlambda calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• The absence and the presence of fixed point combinators
• The fixed point property and a technique to harness double fixed point combinators
• The optimal fixed point combinator
• On the number of fixed points of a combinator in lambda calculus
• On structure and extensionality of fixed-point combinators in CLw
• Fixed points in compactifications and combinatorial counterparts
• Generators for comonoids and universal constructions
• Higher-order unification via combinators
• scientific article; zbMATH DE number 7356777
• A variadic extension of Curry's fixed-point combinator

Cites work

• A new coinductive confluence proof for infinitary lambda calculus
• A-translation and looping combinators in pure type systems
• Discriminating lambda-terms using clocked Böhm trees
• scientific article; zbMATH DE number 6678680 (Why is no real title available?)
• scientific article; zbMATH DE number 3532924 (Why is no real title available?)
• Infinitary lambda calculus
• Non-existent Statman's double fixed point combinator does not exist, indeed
• The fixed point property and a technique to harness double fixed point combinators
• The inconsistency of certain formal logics
• The lambda calculus. Its syntax and semantics. Rev. ed.

Describes a project that uses

Uses Software

• Automath

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 Q3300788)