Knowledge Tree

researcher / Simona Ronchi Della Rocca

Simona Ronchi Della Rocca

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Linear logic, type assignment systems and implicit computational complexity

Linearity and beyond in demotational semantics

Modeling the Handshake protocal for Asychrony

Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation