Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Cantini, Andrea
2008.
Deduction, Computation, Experiment.
p.
29.
23 April 2024: We are investigating problems with ecommerce on Cambridge Core. We apologise for any inconvenience and hope to have full functionality restored shortly.
Published online by Cambridge University Press: 12 March 2014
We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.