Co-authors

1. Andreas Abel (7 paper(s) during 2005-2009)
2. Peter Dybjer (5 paper(s) during 1994-2008)
3. Marc Bezem (4 paper(s) during 1995-2005)
4. Jan M. Smith (4 paper(s) during 1994-2003)
5. Carl A. Gunter (4 paper(s) during 1987-1991)
6. Val Tannen (4 paper(s) during 1987-1991)
7. Gérard P. Huet (4 paper(s) during 1985-1988)
8. Henri Lombardi (3 paper(s) during 2005-2009)
9. Arnaud Spiwack (3 paper(s) during 2006-2007)
10. Giovanni Sambin (3 paper(s) during 2000-2006)
11. Makoto Takeyama (3 paper(s) during 2000-2005)
12. Stefano Berardi (3 paper(s) during 1995-2005)
13. Peter Schuster (2 paper(s) during 2005-2009)
14. Gilles Barthe (2 paper(s) during 2000-2006)
15. Bas Spitters (2 paper(s) during 2005)
16. Randy Pollack (2 paper(s) during 2003-2005)
17. Guo-Qiang Zhang (2 paper(s) during 2000-2003)
18. Erik Palmgren (2 paper(s) during 2000-2002)
19. Henrik Persson (2 paper(s) during 1997-1998)
20. Andre Scedrov (2 paper(s) during 1989-1991)
21. Glynn Winskel (2 paper(s) during 1987-1989)
22. Miguel Pagano (1 paper(s) during 2009)
23. Bernhard Banaschewski (1 paper(s) during 2006)
24. Marie-Françoise Roy (1 paper(s) during 2005)
25. Susumu Hayashi (1 paper(s) during 2005)
26. Ulf Norell (1 paper(s) during 2005)
27. Ana Bove (1 paper(s) during 2004)
28. Jan von Plato (1 paper(s) during 2004)
29. Sara Negri (1 paper(s) during 2004)
30. Silvio Valentini (1 paper(s) during 2003)
31. Thorsten Altenkirch (1 paper(s) during 2001)
32. Sara Sadocco (1 paper(s) during 2000)
33. Martin Hofmann (1 paper(s) during 1999)
34. Bengt Nordström (1 paper(s) during 1994)
35. Björn von Sydow (1 paper(s) during 1994)
36. Hugo Herbelin (1 paper(s) during 1994)
37. Christine Paulin (1 paper(s) during 1988)
38. Thomas Ehrhard (1 paper(s) during 1987)