Archive for William W. Wadge 1989

Wadge index
Cartesian index
Mehmet A. Orgun, William W. Wadge.
A Formal Treatment of Non-Deterministic Dataflow Streams in Intensional Logic Programming.
In A. A. Faustini (ed.), Proceeedings of the 1989 International Symposium on Lucid and Intensional Programming. 1989.