Antonio Cosentino

Learn More
In [10,11], PELCR has been introduced as an implementation derived from the Geometry of Interaction in order to perform virtual reduction on parallel/distributed computing systems. In this paper we provide an extension of PELCR with computational effects based on directed virtual reduction [2], namely a restriction of virtual reduction [3], which is a(More)
The goal of this survey is to explain how to use reciprocity laws to compute residues. We will concentrate on the case of cubic, quartic and octic residues and in these cases we will describe algorithms which are analogues of the classical recursive algorithm for computing Jabobi symbols. We will illustrate implementations of these algorithms comparing(More)
  • 1