"Linearity and PCF: a semantic insight!"

Marco Gaboardi, Luca Paolini, Mauro Piccolo (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics