Books by Robbert Krebbers

Cover of Programming Languages and Systems

Programming Languages and Systems

by Robbert Krebbers

2026
Cover of Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice

by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk

2024

Can't find the book you're looking for? Let us know — it helps us improve.