"A type theory for incremental computational complexity with control flow ..."

Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics