Linearity and PCF: a semantic insight!

Marco Gaboardi, Luca Paolini, Mauro Piccolo

Browse the full ICFP paper archive.