Reading Length
Home
Speed Tests
Login
Robbert Krebbers
Identifiers
Open Library
OL13697201A
Books by Robbert Krebbers
Total count: 1
Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday
Springer
2024-01-01
