Non Deterministic Recursive Program Schemes.

Andr Arnold, Maurice Nivat

Browse the full FCT paper archive.