"13th International Conference on Typed Lambda Calculi and Applications, ..."

Thorsten Altenkirch (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics