"The Ackermann Award 2016."

Thierry Coquand, Anuj Dawar (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics