scientific article; zbMATH DE number 7243677

MaRDI QIDQ5119396

Hendrik Pieter Barendregt

Publication date: 4 September 2020

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

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

Mathematics Subject Classification ID

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

Uses Software

• ML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A discrimination algorithm inside \(\lambda -\beta\)-calculus
• A set of postulates for the foundation of logic
• A set of postulates for the foundation of logic. II
• Enumerators of lambda terms are reducing constructively
• Notes on avoiding ``go to statements
• The inconsistency of certain formal logics
• Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme
• The Böhm–Jacopini Theorem Is False, Propositionally
• On folk theorems
• Discriminating coded lambda terms
• A Theory of Positive Integers in Formal Logic. Part II
• Flow diagrams, turing machines and languages with only two formation rules
• The Mechanical Evaluation of Expressions
• An Unsolvable Problem of Elementary Number Theory
• Some Properties of Conversion
• The inconsistency of certain formal logics
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: