Henk Barendregt
- Gems of Corrado Böhm
2018/12/05 by Henk P. Barendregt, Henk Barendregt, Hendrik Pieter Barendregt · 2 voices
Computer Science · Mathematics · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #History and Theory of Mathematics