Aλδ-calculus with an algorithmicδ

DOI10.1007/BF02011137zbMATH Open0432.03011OpenAlexW2312237134MaRDI QIDQ3869320FDOQ3869320

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

• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• Tree-Manipulating Systems and Church-Rosser Theorems
• Some remarks about the connections between Combinatory Logic and axiomatic recursion theory
• Title not available (Why is that?)
• Combinatory logic with discriminators

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)