1. Typing a core binary-field arithmetic in a light logic;Cesena,2012
2. Light types for polynomial time computation in lambda calculus;Baillot;Inf. Comput.,2009
3. Field inversion and point halving revisited;Fong;IEEE Trans. Comput.,2004
4. A tutorial on the universality and expressiveness of Fold;Hutton;J. Funct. Program.,1999
5. A P-time completeness proof for light logics;Roversi,1999