Searching for authors named "Luca Roversi" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
lambda-Calculus As A Programming Language (a Mini Course)
- …-CALCULUS AS A PROGRAMMING LANGUAGE (A MINI COURSE) LUCA ROVERSI 1. Introduction…
- Add To MetaCart
-
Curry-Howard Isomorphism and Intuitionistic Linear Logic
- …Curry-Howard Isomorphism and Intuitionistic Linear Logic Luca Roversi Universit`a degli studi di…
- Cited by 2 (2 self) – Add To MetaCart
-
A Type-Free Resource-Aware λ-Calculus
- …A Type-Free Resource-Aware -Calculus Luca Roversi Universit`a degli studi di Torino - Dipartimento…
- Add To MetaCart
-
Lambda! Considered Both as a Paradigmatic Language and as a Meta-Language
- … ! considered both as a paradigmatic language and as a meta-language ALBERTO PRAVATO LUCA ROVERSI…
- Add To MetaCart
-
unknown title
- … Intersection Logic Simona Ronchi Della Rocca and Luca Roversi Dipartimento di Informatica C…
- Add To MetaCart
-
Light Affine Logic: Proof Nets, Programming Notation, P-Time Correctness And Completeness
- … ASPERTI AND LUCA ROVERSI Abstract. This paper is the rst fully structured introduction to Light Ane Logic…
- Add To MetaCart
-
A Polymorphic Language which is Typable and Poly-step
- …A Polymorphic Language which is Typable and Poly-step Luca Roversi Institute de Mathematiques de…
- Cited by 4 (1 self) – Add To MetaCart
-
Higher-Order Linear Ramified Recurrence
- …Higher-Order Linear Ramied Recurrence ? Ugo Dal Lago 1 , Simone Martini 1 , and Luca Roversi…
- Add To MetaCart
Showing 1 through 8.
