|
Google Research
Other Google Resources
|
A syntactic approach to eta equality in type theory, Healfdene Goguen, POPL, 2005, pp. 75-84.
Experience with Component-Based Development of a Telecommunication Service, Gregory W. Bond, Eric Cheung, Healfdene Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave, CBSE, 2005, pp. 298-305.
Justifying Algorithms for, Healfdene Goguen, FoSSaCS, 2005, pp. 410-424.
Typed Operational Semantics, Healfdene Goguen, TLCA, 1995, pp. 186-200.
The Metatheory of UTT, Healfdene Goguen, TYPES, 1994, pp. 60-82.
|
|