by Carl-Johan H. Seger, Jeffrey J. Joyce
"This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the…