Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis.

Makoto Tatsuta

Browse the full LICS paper archive.