scientific article; zbMATH DE number 2242587

zbMath1087.68545MaRDI QIDQ5714440

Daniel Leivant

Publication date: 2 January 2006

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150183.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Recursive functions and relations, subrecursive hierarchies (03D20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Complexity of proofs (03F20)

Related Items

An arithmetic for polynomial-time computation ⋮ Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion