Freek Wiedijk

Freek Wiedijk

2 books in the database

Books

The Seventeen Provers of the WorldFreek Wiedijk

The Seventeen Provers of the World

Freek Wiedijk · 2006

Hybrid Systems : Computation and ControlFreek Wiedijk

Hybrid Systems : Computation and Control

Freek Wiedijk · 2003

Co-authored books and collections

Books that list Freek Wiedijk among their authors but not as the lead author: co-written works, collections and compilations.

Types for Proofs and ProgramsHerman Geuvers

Types for Proofs and Programs

Herman Geuvers · 2003

Hybrid systemsOded Maler

Oded Maler · 2003

Logics and Type Systems in Theory and PracticeVenanzio Capretta

Logics and Type Systems in Theory and Practice

Venanzio Capretta · 2024