| 2008 |
|---|
| 6 | EE | Luigi Liquori,
Arnaud Spiwack:
FeatherTrait: A modest extension of Featherweight Java.
ACM Trans. Program. Lang. Syst. 30(2): (2008) |
| 5 | EE | Luigi Liquori,
Arnaud Spiwack:
Extending FeatherTrait Java with Interfaces.
Theor. Comput. Sci. 398(1-3): 243-260 (2008) |
| 2007 |
|---|
| 4 | EE | Thierry Coquand,
Arnaud Spiwack:
Towards Constructive Homological Algebra in Type Theory.
Calculemus/MKM 2007: 40-54 |
| 3 | EE | Thierry Coquand,
Arnaud Spiwack:
A proof of strong normalisation using domain theory
CoRR abs/0709.1401: (2007) |
| 2 | EE | Thierry Coquand,
Arnaud Spiwack:
A proof of strong normalisation using domain theory.
Logical Methods in Computer Science 3(4): (2007) |
| 2006 |
|---|
| 1 | EE | Thierry Coquand,
Arnaud Spiwack:
A Proof of Strong Normalisation using Domain Theory.
LICS 2006: 307-316 |
