Publication:4249177
From MaRDI portal
zbMath0928.03037MaRDI QIDQ4249177
Publication date: 12 January 2000
normal form; polymorphism; functional language; automatic typability; cut-elimination complexity; Intuitionistic Light Affine Logic; prototype of programming language for P-TIME algorithms
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems
Related Items