Light combinators for finite fields arithmetic

This work completes the definition of a library which provides the basic arithmetic operations in binary finite fields as a set of functional terms with very specific features. Such a functional terms have type in Typeable Functional Assembly (TFA). TFA is an extension of Dual Light Affine Logic (DL...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 111; s. 365 - 394
Hlavní autoři:	Canavese, D., Cesena, E., Ouchary, R., Pedicini, M., Roversi, L.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.11.2015
Témata:	Finite fields arithmetic Implicit computational complexity Lambda calculus Type assignments Finite fields arithmetic Type assignments Lambda calculus Implicit computational complexity
ISSN:	0167-6423, 1872-7964
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!