Typing a Core Binary-Field Arithmetic in a Light Logic

DOI10.1007/978-3-642-32495-6_2zbMath1367.68050OpenAlexW1704741293MaRDI QIDQ3167524

Emanuele Cesena, Luca Roversi, Marco Pedicini

Publication date: 2 November 2012

Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32495-6_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (1)

Abstract machines, optimal reduction, and streams

This page was built for publication: Typing a Core Binary-Field Arithmetic in a Light Logic