Login / Signup

Well-foundedness in Realizability.

Martin Hofmann Jaap van Oosten Thomas Streicher

Published in: Arch. Math. Log. (2006)

Keyphrases