Furio Honsell (University of Udine

Identifiers

• name variant Furio Honsell (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 #1

Mentions

• 1507.08051 #1 · backfill · confidence 0.70 Furio Honsell (University of Udine

Frequent Coauthors

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