Aλδ-calculus with an algorithmicδ

DOI10.1007/BF02011137MaRDI QIDQ3869320zbMATH OpenOpenAlexFDO

Authors Marisa Venturini Zilli, Giuseppe Longo

Publication date 1980

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137959

zbMATH Keywords

lambda calculusdiscriminators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites work

• scientific article; zbMATH DE number 3520384 (Why is no real title available?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• Combinatory logic with discriminators
• Some remarks about the connections between Combinatory Logic and axiomatic recursion theory
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: Aλδ-calculus with an algorithmicδ

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3869320)