Simple Parsimonious Types and Logarithmic Space
From MaRDI portal
Publication:5351948
DOI10.4230/LIPIcs.CSL.2015.24zbMath1373.68232OpenAlexW2293139545MaRDI QIDQ5351948
Publication date: 31 August 2017
Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2015.24
Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Descriptive complexity and finite models (68Q19)
Related Items (6)
Parsimonious Types and Non-uniform Computation ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach ⋮ Unnamed Item ⋮ Polynomial time over the reals with parsimony ⋮ A Fresh Look at the λ-Calculus ⋮ Implicit computation complexity in higher-order programming languages
This page was built for publication: Simple Parsimonious Types and Logarithmic Space
