scientific article; zbMATH DE number 2182488
From MaRDI portal
Publication:4681363
zbMath1095.03069MaRDI QIDQ4681363
Paolo Coppola, Simonetta Ronchi della Rocca
Publication date: 23 June 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Light logics and optimal reduction: completeness and complexity ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Light types for polynomial time computation in lambda calculus
This page was built for publication:
