Ivan Scagnetto (University of Udine

Identifiers

• name variant Ivan Scagnetto (University of Udine 0.60 · backfill

Papers (1)

1. Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks cs.LO · 2015 · author #7

Mentions

• 1507.08051 #7 · backfill · confidence 0.70 Ivan Scagnetto (University of Udine

Frequent Coauthors

• France) 1 shared papers
• Furio Honsell (University of Udine 1 shared papers
• Italy) 1 shared papers
• Luigi Liquori (Inria Sophia Antipolis M\'editerran\'ee 1 shared papers
• Petar Maksimovi\'c (Inria Rennes Bretagne Atlantique 1 shared papers