Healfdene Goguen

Healfdene Goguen

Research Areas

Authored Publications
0 results

Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    Google
Subtyping a la Church
Adriana Compagnoni
Healfdene Goguen
Radboud University Nijmegen (2007) (to appear)
Preview
Eliminating Dependent Pattern Matching
Healfdene Goguen
Conor McBride
James McKinna
Essays Dedicated to Joseph A. Goguen, Springer, Heidelberg, Germany (2006), pp. 521-540
Preview
Search on Google Scholar