Ugo de'Liguoro (Universita` di Torino

Identifiers

• name variant Ugo de'Liguoro (Universita` di Torino 0.60 · backfill

Papers (1)

1. Characterisation of Strongly Normalising lambda-mu-Terms cs.LO · 2013 · author #7

Mentions

• 1307.8202 #7 · backfill · confidence 0.70 Ugo de'Liguoro (Universita` di Torino

Frequent Coauthors

• Catania 1 shared papers
• England) 1 shared papers
• Franco Barbanera (Universita` di Catania 1 shared papers
• Italy) 1 shared papers
• London 1 shared papers
• Steffen van Bakel (Imperial College London 1 shared papers
• Torino 1 shared papers