Author:
Dal Lago Ugo,Pellitta Giulio
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Accattoli, B., Dal Lago, U.: On the invariance of the unitary cost model for head reduction. In: RTA. LIPIcs, vol. 15, pp. 22–37 (2012)
2. Lecture Notes in Computer Science;Z.M. Ariola,2003
3. Baillot, P., Coppola, P., Dal Lago, U.: Light logics and optimal reduction: Completeness and complexity. Information and Computation 209(2), 118–142 (2011)
4. Baillot, P., Mazza, D.: Linear logic by levels and bounded time complexity. Theoretical Computer Science 411(2), 470–503 (2010)
5. Baillot, P., Terui, K.: Light types for polynomial time computation in lambda-calculus. Information and Computation 207(1), 41–62 (2009)