Aad Mathijssen

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Murdoch James Gabbay, Aad Mathijssen
A Nominal Axiomatization of the Lambda Calculus. J. Log. Comput. 20 (2) (2010)
Murdoch James Gabbay, Aad Mathijssen
Nominal (Universal) Algebra: Equational Logic with Names and Binding. J. Log. Comput. 19 (6) (2009)
Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko
C Linux Driver. FMICS (2009)
Murdoch James Gabbay, Aad Mathijssen
One-and-a-halfth-order Logic. J. Log. Comput. 18 (4) (2008)
Murdoch James Gabbay, Aad Mathijssen
Capture-avoiding substitution as a nominal algebra. Formal Aspects Comput. 20 (4-5) (2008)
Murdoch Gabbay, Aad Mathijssen
A Formal Calculus for Informal Equality with Binding. WoLLIC (2007)
Murdoch Gabbay, Aad Mathijssen
Capture-Avoiding Substitution as a Nominal Algebra. ICTAC (2006)
Aad Mathijssen, A. Johannes Pretorius
Verified Design of an Automated Parking Garage. FMICS/PDMC (2006)
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
From µCRL to mCRL2: Motivation and Outline. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
The Formal Specification Language mCRL2. MMOSS (2006)
Murdoch Gabbay, Aad Mathijssen
One-and-a-halfth-order logic. PPDP (2006)