Normal view
MARC view
- Dekkers, Wil
Dekkers, Wil (Personal Name)
Machine generated authority record.
Work cat.: (JGU)2185668: Barendregt, Henk. 352712, Lambda calculus with types, c2013.