On combinatory complete sets of proper combinators

DOI10.1017/S0956796897002888zbMath0918.03011OpenAlexW2019758361MaRDI QIDQ4234770

Sabine Broda, Luís Damas

Publication date: 17 August 1999

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796897002888

zbMATH Keywords

decision problemcombinatory completenesslinear \(\lambda\)-calculuspure lambda calculus\(\lambda I\)-calculusaffine lambda calculuscombinatory systemproper combinator bases

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Finite generation and presentation problems for lambda calculus and combinatory logic

This page was built for publication: On combinatory complete sets of proper combinators