Operational and mathematical semantics for recursive polyadic program schemata

• Authors:

• W. P. de Roever

• Affiliations:

• Mathematical Centre, Amsterdam, Holland

• Venue:
• ACM SIGPLAN Notices - Abstracts in programming language-related research
• Year:
• 1973