1. A new recursion-theoretic characterization of the polytime functions;Bellantoni,1992
2. A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion;Hofmann,1997
3. A higher-order characterization of probabilistic polynomial time;Dal Lago,2011
4. A linguistic characterization of bounded oracle computation and probabilistic polynomial time;Mitchell,1998
5. Light linear logic;Girard;Inf. Comput.,1998