Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
Linear Logic
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

Abstract machines, optimal reduction, and streams

pubblicato su: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 2019

Lai A., Pedicini M., Piazza M.

CATALOGO IRIS SAPIENZA

Anno

2019 (1) Apply 2019 filter

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter

Rivista

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (1) Apply MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE filter

Book

Keywords

(-) Remove Linear Logic filter Linear Logic
Curry-Howard Isomorphism (1) Apply Curry-Howard Isomorphism filter
Functional Programming (1) Apply Functional Programming filter
Geometry of Interaction (1) Apply Geometry of Interaction filter
Parallel Implementation (1) Apply Parallel Implementation filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma