Freek Wiedijk · 5 obras en el catálogoObrasHybrid systemsTypes for Proofs and ProgramsHHybrid Systems : Computation and ControlHybrid Systems : Computation and ControlLLogics and Type Systems in Theory and PracticeLogics and Type Systems in Theory and PracticeThe Seventeen Provers of the World