Nonstandard functional interpretations and categorical models Amar Hadzihasanovic∗ and Benno van den Berg† 29 January 2014 Abstract Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, - Van den Berg - Document - PDFSEARCH.IO

First Page	Meta Content
	Nonstandard functional interpretations and categorical models Amar Hadzihasanovic∗ and Benno van den Berg† 29 January 2014 Abstract Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, Add to Reading List Document Date: 2014-01-29 05:43:59 Open Document File Size: 483,73 KB Share Result on Facebook

Nonstandard functional interpretations and categorical models Amar Hadzihasanovic∗ and Benno van den Berg† 29 January 2014 Abstract Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, Add to Reading List