Statistics
Publications
4
Citations
102
H-Index
4
Active since
2006
Arnaud Spiwack is an author at École Normale Supérieure Paris-Saclay specializing in type checking, programming languages, and type systems.
Publications per year
2006–2017
4
4
Luigi Liquori, Arnaud Spiwack · ACM Transactions on Programming Languages and Systems · 2008 · 54 citations · Full text
A Proof of Strong Normalisation using Domain Theory
Thierry Coquand, Arnaud Spiwack · 2006 · 18 citations · Full text
1–4 of 4