-
1“... computational complexity theory, extending for example classical classes like P or PSPACE to operators...”
Get access
Text -
2“... computational complexity theory, extending for example classical classes like P or PSPACE to operators...”
Get access
Get access
Report -
3“...We study the weak call-by-value $λ$-calculus as a model for computational complexity theory...”
Get access
Get access
Report -
4by Forster, Yannick, Kunze, Fabian, Roth, Marc“...We study the weak call-by-value $\lambda$-calculus as a model for computational complexity theory...”
Published in Proceedings of the ACM on Programming Languages (2019)
Get access
Get access
Text