Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

pubblicato su: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 2018

Bottoni Paolo Gaspare, Gorla Daniele, Kasangian Stefano, Labella Anna

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
2018 (1) Apply 2018 filter

Tipo pubblicazione

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

Rivista

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

Book

Keywords

Computer Science Applications (1) Apply Computer Science Applications filter
computer vision and pattern recognition (1) Apply computer vision and pattern recognition filter
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
Mathematics (miscellaneous) (1) Apply Mathematics (miscellaneous) filter
Parallel Implementation (1) Apply Parallel Implementation filter

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