Iterated realizability as a comma construction

P.J.W. Hofstra

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	39-51
Number of pages	13
Journal	Mathematical Proceedings of the Cambridge Philosophical Society
Volume	144
Publication status	Published - 2009

Cite this

@article{48cddda5e7ec4b85832d974df2062c49,

title = "Iterated realizability as a comma construction",

author = "P.J.W. Hofstra",

year = "2009",

language = "Undefined/Unknown",

volume = "144",

pages = "39--51",

journal = "Mathematical Proceedings of the Cambridge Philosophical Society",

issn = "0305-0041",

publisher = "Cambridge University Press",

}