Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Simona Ronchi Della Rocca

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Related publications

Complexity of Normalization in the Pure Typed Lambda – Calculus

Studies in Logic and the Foundations of Mathematics
1982English

Continuity and Discontinuity in Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Solvability in Resource Lambda-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Gödelisation in the Lambda-Calculus

BRICS Report Series
1995English

Storage Operators and Directed Lambda-Calculus

Journal of Symbolic Logic
PhilosophyLogic
1995English

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics
1994English

A Typed Lambda Calculus of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Algebras and Coalgebras in the Light Affine Lambda Calculus

2015English

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing
MathematicsComputer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy