id: 50332462
dt: j
an: 50332462
au: Dal Lago, Ugo
ti: The geometry of linear higher-order recursion
so: ACM Trans. Comput. Log. 10, No. 2 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1462179.1462180