scientific article; zbMATH DE number 7577574

MaRDI QIDQ5101343

Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto

Publication date: 30 August 2022

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

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

zbMATH Keywords

\(\lambda\)-calculuscombinatory algebras\(\lambda\)-modelsaddressing machines

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• LCF considered as a programming language
• Lambda theories allowing terms with a finite number of fixed points
• Models of the lambda calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The lambda calculus is algebraic
• What is a model of the lambda calculus?
• The Lattice of Lambda Theories
• The fixed point property and a technique to harness double fixed point combinators
• Solution of a Problem of Barendregt on Sensible lambda-Theories
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: