Jes\'us Dom\'inguez (King's College London)

Identifiers

• name variant Jes\'us Dom\'inguez (King's College London) 0.60 · backfill

Papers (1)

1. From nominal to higher-order rewriting and back again cs.LO · 2015 · author #1

Mentions

• 1509.05318 #1 · backfill · confidence 0.70 Jes\'us Dom\'inguez (King's College London)

Frequent Coauthors

• Maribel Fern\'andez (King's College London) 1 shared papers