| |
| 2008 | ||
|---|---|---|
| 5 | EE | Luigi Liquori, Arnaud Spiwack: FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. 30(2): (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 |
| 1 | Thierry Coquand | [1] [2] [3] [4] |
| 2 | Luigi Liquori | [5] |