Healfdene Goguen (Google

Identifiers

• name variant Healfdene Goguen (Google 0.60 · backfill

Papers (1)

1. Relating Church-Style and Curry-Style Subtyping cs.LO · 2011 · author #2

Mentions

• 1101.4423 #2 · backfill · confidence 0.70 Healfdene Goguen (Google

Frequent Coauthors

• Adriana Compagnoni (Stevens Institute of Technology) 1 shared papers
• Inc.) 1 shared papers