Complexity Analysis in Presence of Control Operators and Higher-Order Functions

DOI10.1007/978-3-642-45221-5_19zbMATH Open1433.03146OpenAlexW1563721682MaRDI QIDQ2870134

Giulio Pellitta, Ugo Dal Lago

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_19

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Effects of controlling parameter on symbolic nonlinear complexity detection ⋮ Higher order interpretation for higher order complexity ⋮ Control structures in programs and computational complexity

This page was built for publication: Complexity Analysis in Presence of Control Operators and Higher-Order Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870134)