Typing a Core Binary-Field Arithmetic in a Light Logic
暂无分享,去创建一个
[1] Martin Hofmann,et al. The strength of non-size increasing computation , 2002, POPL '02.
[2] Andrea Asperti,et al. Intuitionistic Light Affine Logic , 2002, TOCL.
[3] Martin Hofmann. Linear types and non-size-increasing polynomial time computation , 2003, Inf. Comput..
[4] Yves Lafont,et al. Soft linear logic and polynomial time , 2004, Theor. Comput. Sci..
[5] Alfred Menezes,et al. Field inversion and point halving revisited , 2004, IEEE Transactions on Computers.
[6] Marco Gaboardi,et al. A PolyTime Functional Language from Light Linear Logic , 2010, ESOP.
[7] Kazushige Terui,et al. Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic , 2007, Log. Methods Comput. Sci..
[8] Francesco Quaglia,et al. PELCR: Parallel environment for optimal lambda-calculus reduction , 2007, TOCL.
[9] Kazushige Terui,et al. Light types for polynomial time computation in lambda-calculus , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[10] Sanjay Ghemawat,et al. MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.
[11] Tanja Lange,et al. Handbook of Elliptic and Hyperelliptic Curve Cryptography , 2005 .
[12] Jean-Yves Girard,et al. Light Linear Logic , 1998, Inf. Comput..
[13] J. Robin B. Cockett,et al. Pola: A Language for PTIME Programming , 2009, FICS.
[14] 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).
[15] Patrick Baillot,et al. Soft lambda-Calculus: A Language for Polynomial Time Computation , 2004, FoSSaCS.
[16] J. Girard,et al. Proofs and types , 1989 .
[17] Graham Hutton,et al. A tutorial on the universality and expressiveness of fold , 1999, Journal of Functional Programming.
[18] 晋輝 趙,et al. H. Cohen, G. Frey, R. Avanzi, C. Doche, T. Lange, K. Nguyen and F. Vercauteren (eds.): Handbook of Elliptic and Hyperelliptic Curve Cryptography, Discrete Math. Appl. (Boca Raton)., Chapman & Hall/CRC, 2006年,xxxiv + 808ページ. , 2009 .