Co-authors

1. Mogens Nielsen (10 paper(s) during 1979-2008)
2. Gian Luca Cattani (7 paper(s) during 1996-2005)
3. Federico Crazzolara (4 paper(s) during 2001-2005)
4. Mikkel Nygaard (4 paper(s) during 2002-2004)
5. Gordon D. Plotkin (4 paper(s) during 1979-2000)
6. Uffe Engberg (4 paper(s) during 1990-1997)
7. Vladimiro Sassone (4 paper(s) during 1993-1996)
8. Jonathan Hayman (3 paper(s) during 2006-2008)
9. Marcelo P. Fiore (3 paper(s) during 1998-2007)
10. Henrik Reif Andersen (3 paper(s) during 1991-1994)
11. Daniele Varacca (2 paper(s) during 2004-2006)
12. Hagen Völzer (2 paper(s) during 2004-2006)
13. Mario Cáccamo (2 paper(s) during 2001-2005)
14. Prakash Panangaden (2 paper(s) during 1998-2004)
15. Thomas T. Hildebrandt (2 paper(s) during 1998-2004)
16. André Joyal (2 paper(s) during 1993-1996)
17. Juanito Camilleri (2 paper(s) during 1991-1995)
18. Kim Guldstrand Larsen (2 paper(s) during 1984-1991)
19. Carl A. Gunter (2 paper(s) during 1987-1989)
20. Thierry Coquand (2 paper(s) during 1987-1989)
21. Sam Staton (1 paper(s) during 2010)
22. David Turner (1 paper(s) during 2009)
23. Gérard Boudol (1 paper(s) during 2008)
24. Ilaria Castellani (1 paper(s) during 2008)
25. Matthew Hennessy (1 paper(s) during 2008)
26. Luca Cardelli (1 paper(s) during 2007)
27. Lucy Saunders-Evans (1 paper(s) during 2007)
28. Francesco Zappa Nardelli (1 paper(s) during 2004)
29. Carsten Butz (1 paper(s) during 2000)
30. Pierre-Louis Curien (1 paper(s) during 2000)
31. Søren Riis (1 paper(s) during 2000)
32. Ulrich Kohlenbach (1 paper(s) during 2000)
33. John Power (1 paper(s) during 1998)
34. Ian Stark (1 paper(s) during 1997)
35. Colin Stirling (1 paper(s) during 1994)