Jump to Content
Healfdene Goguen

Healfdene Goguen

Research Areas

Authored Publications
results

Publications

Years

Research Areas

Teams

Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    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