CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 51
Titolo Data di pubblicazione Autore(i) File
Categorical semantics of the call-by-value lambda calculus 1995 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
A Type-Free Resource-Aware Lambda-Calculus 1996 L. ROVERSI
Lambda Calculus and Intuitionistic Linear Logic 1997 S. RONCHI DELLA ROCCA; L. ROVERSI
Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment 1998 L. ROVERSI
A Polymorphic Language which is Typable and Poly-step 1998 L. ROVERSI
The call by value Lambda-calculus: a semantic investigation 1999 PRAVATO; S. RONCHI DELLA ROCCA; L. ROVERSI
A P-Time Completeness Proof for Light Logics 1999 L. ROVERSI
Light Affine Logic as a Programming Language: a First Contribution 2000 L. ROVERSI
Intersection Logic 2001 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Logic 2001 S. RONCHI DELLA ROCCA; ROVERSI L.
Theoretical Computer Science7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings(LNCS) 2001 RESTIVO A.; RONCHI DELLA ROCCA S.; ROVERSI L.
Intuitionistic light affine logic 2002 ASPERTI; L. ROVERSI
Higer-Order Linear Ramified Recurrence 2004 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 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 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 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 Luca Roversi
Live! I-Learn @ Home 2005 M. Baldoni; C. Baroglio; C. Grandi; L. Roversi
Live! I-Learn @ Home, versione 2007 2007 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 Luca Roversi
Mostrati risultati da 1 a 20 di 51
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