Nonstandard functional interpretations and categorical models
Amar Hadzihasanovic and Benno van den Berg
Journal
Notre Dame J. Formal Logic
Number
3
Pages
343–380
Publisher
Duke University Press
Volume
58
Year
2017
Amar Hadzihasanovic and Benno van den Berg