scientific article

MaRDI QIDQ3300788

Andrew Polonsky

Publication date: 30 July 2020

Full work available at URL: https://arxiv.org/abs/1810.02239

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

zbMATH Keywords

lambda calculusfixed point combinatorBöhm treeFPC generator

Mathematics Subject Classification ID

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

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Non-existent Statman's double fixed point combinator does not exist, indeed
• Infinitary lambda calculus
• A-translation and looping combinators in pure type systems
• The fixed point property and a technique to harness double fixed point combinators
• Discriminating Lambda-Terms Using Clocked Boehm Trees
• The inconsistency of certain formal logics

This page was built for publication: