most citedTyping a Core Binary Field Arithmetic in a Light Logic

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2011★ 1 cited

Typing a Core Binary Field Arithmetic in a Light Logic

Emanuele Cesena, Marco Pedicini, Luca Roversi

We design a library for binary field arithmetic and we supply a core API which is completely developed in DLAL, extended with a fix point formula. Since DLAL is a restriction of li…