Themes in Final Semantics, Ph.D. Thesis TD-6/98, Dipartimento di Informatica, Universit`a di (1998)

by Len98 M Lenisa
Venue:in FossaCS'99 Conf. Proc