Realizability interpretation of coinductive definitions and program synthesis with streams

• Authors:

• Makoto Tatsuta

• Affiliations:

• Tohoku Univ., Sendai, Japan

• Venue:
• FGCS'921 Selected papers of the conference on Fifth generation computer systems
• Year:
• 1994