Arnaud Spiwack

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

Coauthor Index

1	Thierry Coquand	[1] [2] [3] [4]
2	Luigi Liquori	[5] [6]

Colors in the list of coauthors