Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis.

Makoto Tatsuta

Browse the full MPC paper archive.