Publication:4249177
From MaRDI portal
zbMath0928.03037MaRDI QIDQ4249177
Publication date: 12 January 2000
normal formpolymorphismfunctional languageautomatic typabilitycut-elimination complexityIntuitionistic Light Affine Logicprototype of programming language for P-TIME algorithms
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Related Items