Sfoglia per Autore
Categorical semantics of the call-by-value lambda calculus
1995-01-01 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
A Type-Free Resource-Aware Lambda-Calculus
1996-01-01 L. ROVERSI
Lambda Calculus and Intuitionistic Linear Logic
1997-01-01 S. RONCHI DELLA ROCCA; L. ROVERSI
Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment
1998-01-01 L. ROVERSI
A Polymorphic Language which is Typable and Poly-step
1998-01-01 L. ROVERSI
The call by value Lambda-calculus: a semantic investigation
1999-01-01 PRAVATO; S. RONCHI DELLA ROCCA; L. ROVERSI
A P-Time Completeness Proof for Light Logics
1999-01-01 L. ROVERSI
Light Affine Logic as a Programming Language: a First Contribution
2000-01-01 L. ROVERSI
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; ROVERSI L.
Theoretical Computer Science7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings(LNCS)
2001-01-01 RESTIVO A.; RONCHI DELLA ROCCA S.; ROVERSI L.
Intuitionistic light affine logic
2002-01-01 ASPERTI; L. ROVERSI
Higer-Order Linear Ramified Recurrence
2004-01-01 U. DAL LAGO; MARTINI; L. ROVERSI
MR1989176 (2004g:03037) Danos, Vincent(F-CNRS); Joinet, Jean-Baptiste(F-PARIS1) Linear logic and elementary time. (English summary) Special issue: ICC'99 (Trento). Inform. and Comput. 183 (2003), no. 1, 123--137.
2004-01-01 Luca Roversi
MR2029600 (2004k:68053) Oitavem, Isabel(P-LISB-CM) Characterizing NC with tier 0 pointers. (English summary) MLQ Math. Log. Q. 50 (2004), no. 1, 9--17.
2004-01-01 Luca Roversi
MR2071847 (2005e:03139) Terui, Kazushige Light affine set theory: a naive set theory of polynomial time. (English summary) Studia Logica 77 (2004), no. 1, 9--40.
2005-01-01 Luca Roversi
MR2075335 (2005f:03094) Murawski, A. S.(4-OX-C); Ong, C.-H. L.(4-OX-C)On an interpretation of safe recursion in light affine logic. (English summary) Theoret. Comput. Sci. 318 (2004), no. 1-2, 197--223.
2005-01-01 Luca Roversi
Live! I-Learn @ Home
2005-01-01 M. Baldoni; C. Baroglio; C. Grandi; L. Roversi
Live! I-Learn @ Home, versione 2007
2007-01-01 Matteo Baldoni; Cristina Baroglio; Claudio Grandi; Luca Roversi
MR2294201 (2007j:03080) Tortora de Falco, Lorenzo On the logical structure of calculus. (Italian) Rend. Mat. Appl. (7) 26 (2006), no. 3-4, 367–404. (Reviewer: Luca Roversi), 03F07 (03B70 03F03 03F05 03F52)
2007-01-01 Luca Roversi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile