new book on unification

Thread View: fj.mail-lists.types

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by jean Wed, 29 Jul 1992 22:08

#15

Author: jean
Date: Wed, 29 Jul 1992 22:08

16 lines
962 bytes

Date: Wed, 29 Jul 92 11:56:22 -0400

I just want to bring to the attention of this community the 
interesting book by Wayne Snyder on the theory of unification. 
This book treats both first-order E-unification
(unification modulo an equational theory E) and higher-order
unification. And yes, it is possible to be rigorous and pedagogical.
Puns intended (of course!), this book shows how apparently
different unification problems can be treated using a unified approach,
the method of transformations.

A proof theory for general unification, by Wayne Snyder, PCS 11,
Birkhauser, Boston,  (1991).


-- Jean

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads