Combinator operations

DOI10.1007/BF02121666zbMath0329.02009OpenAlexW4234161577MaRDI QIDQ1227001

David Meredith

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02121666

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

Development of Specific hypothesis tests for estimated markov chains ⋮ A Markov Analysis of the Service System for Severe Mental Illness

Cites Work

• Combinatory logic. With two sections by William Craig.
• The Calculi of Lambda Conversion. (AM-6)

This page was built for publication: Combinator operations