Healfdene Goguen

发表

Rod M. Burstall, Healfdene Goguen, Richard Brooksby, 1999, TYPES.

Healfdene Goguen, 1999, TLCA.

Adriana B. Compagnoni, Healfdene Goguen, A. Compagnoni, 2006, Mathematical Structures in Computer Science.

Healfdene Goguen, 1994, TYPES.

Adriana B. Compagnoni, Healfdene Goguen, A. Compagnoni, 2003, Inf. Comput..

Conor McBride, James McKinna, Healfdene Goguen, 2004, TYPES.

Adriana B. Compagnoni, Healfdene Goguen, 2010, ITRS.

Adriana B. Compagnoni, Healfdene Goguen, A. Compagnoni, 1999, CSL.

Healfdene Goguen, 2000, TYPES.

Conor McBride, James McKinna, Healfdene Goguen, 2006, Essays Dedicated to Joseph A. Goguen.

Eric Cheung, Pamela Zave, G. W. Bond, 2005, CBSE'05.

Pamela Zave, Thomas M. Smith, Healfdene Goguen, 2004, Comput. Networks.

Healfdene Goguen, 1995, TLCA.

Healfdene Goguen, 1994 .

Yves Bertot, Healfdene Goguen, Janet Bertot, 1997 .

Healfdene Goguen, 2005, POPL '05.

Adriana Compagnoni, Healfdene Goguen, 2008, Math. Struct. Comput. Sci..

Gregory W. Bond, Healfdene Goguen, 2002 .

Healfdene Goguen, 2005, FoSSaCS.

Jean Goubault-Larrecq, Healfdene Goguen, H. Goguen, 2000, Mathematical Structures in Computer Science.

Adriana Compagnoni, Healfdene Goguen, 2007 .

Zhaohui Luo, Healfdene Goguen, H. Goguen, 1993 .