| 2008 |
|---|
| 11 | | Marino Miculan,
Ivan Scagnetto,
Furio Honsell:
Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Springer 2008 |
| 2006 |
|---|
| 10 | EE | Anna Bucalo,
Furio Honsell,
Marino Miculan,
Ivan Scagnetto,
Martin Hofmann:
Consistency of the theory of contexts.
J. Funct. Program. 16(3): 327-372 (2006) |
| 2005 |
|---|
| 9 | EE | Marino Miculan,
Ivan Scagnetto,
Furio Honsell:
Translating specifications from nominal logic to CIC with the theory of contexts.
MERLIN 2005: 41-49 |
| 2004 |
|---|
| 8 | EE | Alberto Ciaffaglione,
Ivan Scagnetto:
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax.
Electr. Notes Theor. Comput. Sci. 104: 99-112 (2004) |
| 2003 |
|---|
| 7 | EE | Marino Miculan,
Ivan Scagnetto:
A framework for typed HOAS and semantics.
PPDP 2003: 184-194 |
| 6 | EE | Furio Honsell,
Ivan Scagnetto:
Mobility Types in Coq.
TYPES 2003: 324-337 |
| 2002 |
|---|
| 5 | EE | Ivan Scagnetto,
Marino Miculan:
Ambient Calculus and its Logic in the Calculus of Inductive Constructions.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |
| 2001 |
|---|
| 4 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.
ICALP 2001: 963-978 |
| 3 | EE | Luca Chittaro,
Ivan Scagnetto:
Is semitransparency useful for navigating virtual environments?.
VRST 2001: 159-166 |
| 2 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
The Theory of Contexts for First Order and Higher Order Abstract Syntax.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 1 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
pi-calculus in (Co)inductive-type theory.
Theor. Comput. Sci. 253(2): 239-285 (2001) |
