 | 2007 |
|---|
| 8 |       | Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan:
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.
J. Autom. Reasoning 39(1): 1-47 (2007) |
| 2006 |
|---|
| 7 | | Alberto Ciaffaglione,
Pietro Di Gianantonio:
A certified, corecursive implementation of exact real numbers.
Theor. Comput. Sci. 351(1): 39-51 (2006) |
| 2005 |
|---|
| 6 | | Alberto Ciaffaglione,
Matthew Hennessy,
Julian Rathke:
Proof Methodologies for Behavioural Equivalence in DPI.
FORTE 2005: 335-350 |
| 2004 |
|---|
| 5 | | 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 |
|---|
| 4 | | Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan:
Imperative Object-Based Calculi in Co-inductive Type Theories.
LPAR 2003: 59-77 |
| 3 | | Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan:
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.
MERLIN 2003 |
| 2000 |
|---|
| 2 | | Alberto Ciaffaglione,
Pietro Di Gianantonio:
A Tour with Constructive Real Numbers.
TYPES 2000: 41-52 |
| 1999 |
|---|
| 1 | | Alberto Ciaffaglione,
Pietro Di Gianantonio:
A Co-inductive Approach to Real Numbers.
TYPES 1999: 114-130 |
