A new proof for Craig's theorem

DOI10.2307/2274227zbMath0594.03007OpenAlexW2163663225MaRDI QIDQ3724298

No author found.

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274227

zbMATH Keywords

basiscombinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

A construction of one-point bases in extended lambda calculi

This page was built for publication: A new proof for Craig's theorem