[FOM] Reference request: realizability interpretations for CZF

Anders Lundstedt anders at anderslundstedt.se
Tue Feb 4 20:37:14 EST 2014

I am looking for references on realizability interpretations for CZF. All
papers I have found refer to the following for proofs.

D. C. McCarty. Realisability and Recursive Mathematics. PhD thesis,
Philosophy, Oxford University, 1984.

I would appreciate suggestions on how to obtain McCarty's thesis, or
references not referring to McCarty for proofs.

Thank you,

Anders Lundstedt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140205/25842adc/attachment.html>

More information about the FOM mailing list