by G. M. Birtwistle
This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in applying higher order techniques to: reasoning…