
Type-Logical Semantics
Bob Carpenter
₹5,380

With Applications to Unification Grammars, Logic Programs and Constraint Resolution
by Bob Carpenter, C. J. Van Rijsbergen, Samson Abramsky
Free delivery. Nothing extra to pay at checkout.
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting s
Description supplied by the publisher.