Robbert Krebbers · 2 obras en el catálogoObrasLLogics and Type Systems in Theory and PracticeLogics and Type Systems in Theory and PracticePProgramming Languages and SystemsProgramming Languages and Systems