article · 1988Combinatory completeness without classical equality1 citationsDOI: https://doi.org/10.1007/bf00247907