Well-foundedness in Realizability

Files

oosten_06_well_foundedness_in_realizability.pdf (138.52 KB)

Publication date

2006

Authors

Hofmann, M.

Oosten, J. van

Streicher, T.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/15457