Realisability Interpretation of Coinductive Definitions and Program Synthesis with Streams (1992)

by M Tatsuta
Venue:Proceedings of International Conference on Fifth Generation Computer Systems