Syntactic theories and the algebra of record terms (1992)

by Didier Rémy
Venue:BP 105, F-78 153 Le Chesnay Cedex