nLab
Jaap van Oosten

some writings

  • Jaap van Oosten, Realizability: an introduction to its categorical side, Studies in Logic and the Foundations of Mathematics, vol. 152, Elsevier, 2008 (preface pdf)
category: people

Last revised on March 8, 2014 at 07:39:41. See the history of this page for a list of all contributions to it.