"; _cf_contextpath=""; _cf_ajaxscriptsrc="/CFIDE/scripts/ajax"; _cf_jsonprefix='//'; _cf_clientid='60871689AB31460B26DDF4A7FEE9D3FE';
Optimizing optimal reduction: A type inference algorithm for elementary affine logic

Tools and Resources
Share: 