Search Results - "Roversi, Luca"

Neuroprem: the Neuro-developmental outcome of very low birth weight infants in an Italian region.

Authors: Lugli, Licia Pugliese, Marisa Plessi, Carlotta et al.

Source: Italian Journal of Pediatrics. 2/22/2020, Vol. 46 Issue 1, p1-7. 7p.

A type-assignment of linear erasure and duplication.

Authors: Curzi, Gianluca Roversi, Luca

Source: Theoretical Computer Science; Oct2020, Vol. 837, p26-53, 28p

A class of Recursive Permutations which is Primitive Recursive complete.

Authors: Paolini, Luca Piccolo, Mauro Roversi, Luca

Source: Theoretical Computer Science; Apr2020, Vol. 813, p218-233, 16p

The fixed point problem of a simple reversible language.

Authors: Matos, Armando B. Paolini, Luca Roversi, Luca

Source: Theoretical Computer Science; Apr2020, Vol. 813, p143-154, 12p

Termination of rewriting on reversible Boolean circuits as a free 3-category problem.

Authors: Barile, Adriano Berardi, Stefano Roversi, Luca

Source: Theoretical Computer Science; Feb2025, Vol. 1028, pN.PAG-N.PAG, 1p

A deep inference system with a self-dual binder which is complete for linear lambda calculus.

Authors: ROVERSI, LUCA¹, luca.roversi@unito.it

Source: Journal of Logic & Computation; Apr2016, Vol. 26 Issue 2, p677-698, 22p

Intersection Types from a Proof-theoretic Perspective.

Authors: Pimentel, Elaine Ronchi Della Rocca, Simona Roversi, Luca

Source: Fundamenta Informaticae; 2012, Vol. 121 Issue 1-4, p253-274, 22p, 4 Charts

Lambda Calculus and Intuitionistic Linear Logic.

Authors: della Rocca, Simona Roversi, Luca

Source: Studia Logica. Nov1997, Vol. 59 Issue 3, p417-448. 32p.