scientific article
From MaRDI portal
Publication:2778836
zbMath0981.68025MaRDI QIDQ2778836
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440400
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18)
Related Items (4)
The role of polymorphism in the characterisation of complexity by soft types ⋮ A type-assignment of linear erasure and duplication ⋮ The complexity of higher-order queries ⋮ Light types for polynomial time computation in lambda calculus
This page was built for publication: