Freek Wiedijk

发表

Herman Geuvers, Milad Niqui, Bas Spitters, 2007, Mathematical Structures in Computer Science.

Cezary Kaliszyk, Freek Wiedijk, Femke van Raamsdonk, 2007 .

Jacques Carette, Freek Wiedijk, Markus Wenzel, 2010, J. Autom. Reason..

Freek Wiedijk, F. Wiedijk, 2006 .

Freek Wiedijk, 2012, Electron. Notes Theor. Comput. Sci..

Herman Geuvers, Milad Niqui, Bas Spitters, 2007, Math. Struct. Comput. Sci..

Herman Geuvers, Freek Wiedijk, 2003, Lecture Notes in Computer Science.

Cezary Kaliszyk, Freek Wiedijk, Maxim Hendriks, 2008 .

Herman Geuvers, Freek Wiedijk, Luís Cruz-Filipe, 2004, MKM.

Amir Pnueli, Freek Wiedijk, Oded Maler, 2003, Lecture Notes in Computer Science.

Freek Wiedijk, Laurent Théry, 2015, Math. Comput. Sci..