Archive for William W. Wadge 1991

Wadge index
Cartesian index
William W. Wadge, Gordon F. Stuart.
Classified Model: Abstract Data Type Specification.
1991. Unpublished
William W. Wadge.
Higher-Order Horn Logic Programming.
In Vijay A. Saraswat, Kazunori Ueda (ed.), Proceedings of the 1991 International Symposium on Logic Programming (ISLP). pp.289--303. 1991.
William W. Wadge.
Higher Order Lucid.
In R. Jagannathan (ed.), Proceedings of the 4th International Symposium on Lucid and Intensional Programming. pp.62--69. 1991.