Found 7 Documents (Results 1–7)
From Jinja bytecode to term rewriting: a complexity reflecting transformation. (English) Zbl 1395.68160
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. (English) Zbl 1395.68135
Paths-based criteria and application to linear logic subsystems characterizing polynomial time. (English) Zbl 1394.68156
Filter Results by …
all
top 5
Author
- Avanzini, Martin (1)
- Baillot, Patrick (1)
- Dal Lago, Ugo (1)
- De Benedetti, Erika (1)
- Gaboardi, Marco (1)
- Hainry, Emmanuel (1)
- Moser, Georg (1)
- Orchard, Dominic A. (1)
- Péchoux, Romain (1)
- Perrinel, Matthieu (1)
- Ronchi Della Rocca, Simona (1)
- Schaper, Michael (1)
- Schöpp, Ulrich (1)
Biographic Reference
- Hofmann, Martin (1)
all
top 3
Software
- COSTA (1)
- Ctrl (1)
- Featherweight Java (1)
- GHC (1)
- Jinja Threads (1)
- KITTeL (1)
- TcT (1)