• Groene Loper 5, Metaforum

    5612 AP Eindhoven


  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven


Research Output


Modeling and analysis of communicating systems

Groote, J. F. & Mousavi, M. R., 2014, London: MIT Press. 376 p.

Research output: Book/ReportBookAcademic

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 p.

Research output: Book/ReportBookAcademic

11 Citations (Scopus)

Process algebra : equational theories of communicating processes

Baeten, J. C. M., Basten, T. & Reniers, M. A., 2010, Cambridge: Cambridge University Press. 460 p. (Cambridge tracts in theoretical computer science; vol. 50)

Research output: Book/ReportBookAcademic


De achterkant van sudoku : oplossen, programmeren en ontwerpen

Zantema, H., 2007, Haarlem: Aramith. 144 p.

Research output: Book/ReportBookProfessional


A modern perspective on type theory : from its origins until today

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2005, Dordrecht: Kluwer Academic Publishers. 357 p. (Applied logic series. APLS; vol. 29)

Research output: Book/ReportBookAcademic


Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2004, London: King's College Publications. 410 p. (Texts in computing; vol. 3)

Research output: Book/ReportBookProfessional


Process algebra with timing

Baeten, J. C. M. & Middelburg, C. A., 2002, Berlin: Springer. 287 p. (Monographs in theoretical computer science)

Research output: Book/ReportBookAcademic