A xed-point semantics for feature type systems (1990)

by Martin Emele, Rémi Zajac
Venue:In Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting Systems