Next: Typed features Up: Types in Unification Previous: Types in Unification

Why Types?

Typed features
- A Limitation of FUGs: No Structure over the Set of Values
- Introducing Typed Features
Typed Constituents: The FSET Construct
Procedural Types

Michael Elhadad - elhadad@cs.bgu.ac.il