Skip to main content

Ricerc@Sapienza

Home
Login

Home
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Parallel Implementation
Risultati ricerca pubblicazioni

Risultati ricerca 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

(-) Remove MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE filter MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Book

Keywords

(-) Remove Parallel Implementation filter Parallel Implementation
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
Linear Logic (1) Apply Linear Logic filter

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