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

Revised on March 8, 2014 07:39:41 by Urs Schreiber (89.204.130.86)