Original language | English |
---|---|
Pages (from-to) | 87-111 |
Number of pages | 25 |
Journal | Annals of Pure and Applied Logic |
Volume | 70 |
Publication status | Published - 1994 |
Axiomatizing Higher-Order Kleene Realizability
Research output: Contribution to journal › Article › Academic › peer-review