Typing a Core Binary Field Arithmetic in a Light Logic

Details Typing a Core Binary Field Arithmetic in a Light Logic Typing a Core Binary Field Arithmetic in a Light Logic

2011-06-28

arxiv.org/abs/1106.5622v1

Computer Science

Logic in Computer Science

Scientific paper

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 linear logic where only functional programs with polynomial evaluation cost can be typed, we obtain the core of a functional programming setting for binary field arithmetic with built-in polynomial complexity.

Affiliated with

Also associated with

No associations

Rating

Typing a Core Binary Field Arithmetic in a Light Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Typing a Core Binary Field Arithmetic in a Light Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Typing a Core Binary Field Arithmetic in a Light Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-41027