Iterated Realizability as a Comma Construction
Mathematical Proceedings of the Cambridge Philosophical Society - United Kingdom
doi 10.1017/s0305004107000400
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2008
Authors
Publisher
Cambridge University Press (CUP)