realizability,an introduction to its categorical side

jaap van oosten · elsevier science ltd