×

zbMATH — the first resource for mathematics

Ciaffaglione, Alberto

Compute Distance To:
Author ID: ciaffaglione.alberto Recent zbMATH articles by "Ciaffaglione, Alberto"
Published as: Ciaffaglione, Alberto
Documents Indexed: 11 Publications since 2000

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 20 times in 15 Documents Cited by Year
A certified, corecursive implementation of exact real numbers. Zbl 1086.68117
Ciaffaglione, Alberto; Di Gianantonio, Pietro
6
2006
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts. Zbl 1118.68046
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
5
2007
Proof methodologies for behavioural equivalence in DPI. Zbl 1169.68538
Ciaffaglione, Alberto; Hennessy, Matthew; Rathke, Julian
2
2005
Plug and play the theory of contexts in higher-order abstract syntax. Zbl 1271.68084
Ciaffaglione, Alberto; Scagnetto, Ivan
2
2004
Imperative object-based calculi in co-inductive type theories. Zbl 1273.03105
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
2
2003
A co-inductive approach to real numbers. Zbl 0988.68161
Ciaffaglione, Alberto; Di Gianantonio, Pietro
2
2000
A tour with constructive real numbers. Zbl 1054.03038
Ciaffaglione, Alberto; Di Gianantonio, Pietro
1
2002
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts. Zbl 1118.68046
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
5
2007
A certified, corecursive implementation of exact real numbers. Zbl 1086.68117
Ciaffaglione, Alberto; Di Gianantonio, Pietro
6
2006
Proof methodologies for behavioural equivalence in DPI. Zbl 1169.68538
Ciaffaglione, Alberto; Hennessy, Matthew; Rathke, Julian
2
2005
Plug and play the theory of contexts in higher-order abstract syntax. Zbl 1271.68084
Ciaffaglione, Alberto; Scagnetto, Ivan
2
2004
Imperative object-based calculi in co-inductive type theories. Zbl 1273.03105
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
2
2003
A tour with constructive real numbers. Zbl 1054.03038
Ciaffaglione, Alberto; Di Gianantonio, Pietro
1
2002
A co-inductive approach to real numbers. Zbl 0988.68161
Ciaffaglione, Alberto; Di Gianantonio, Pietro
2
2000

Citations by Year