Feasible Programs From Proofs
暂无分享,去创建一个
[1] Andre Scedrov,et al. Bounded Linear Logic , 1991 .
[2] Daniel Leivant,et al. Lambda Calculus Characterizations of Poly-Time , 1993, Fundam. Informaticae.
[3] Stephen A. Cook,et al. Computability and Complexity of Higher Type Functions , 1992 .
[4] Peter Clote,et al. Bounded Arithmetic for NC, ALogTIME, L and NL , 1992, Ann. Pure Appl. Log..
[5] Stephen A. Cook,et al. A new recursion-theoretic characterization of the polytime functions , 1992, STOC '92.
[6] Jean-Yves Girard,et al. Light Linear Logic , 1998, Inf. Comput..
[7] Martin Hofmann,et al. Linear types and non-size-increasing polynomial time computation , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[8] Helmut Schwichtenberg,et al. Higher type recursion, ramification and polynomial time , 2000, Ann. Pure Appl. Log..
[9] Daniel Leivant. Predicative Recurrence in Finite Types , 1994, LFCS.