Basic simple type theory /

Autor Hindley, J. Roger, 1939-
Vydáno 1997

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992