"Realizability: An introduction to its categorical side" - читать интересную книгу автора (Jaap van Oosten)