RONCHI DELLA ROCCA, Simonetta

RONCHI DELLA ROCCA, Simonetta  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 30 (tempo di esecuzione: 0.052 secondi).
Titolo Data di pubblicazione Autore(i) File
A fully abstract model for the lazy lambda-calculus 2004 L. PAOLINI; S. RONCHI DELLA ROCCA
A logical account of PSPACE 2008 GABOARDI M; MARION J.Y; RONCHI DELLA ROCCA S.
A Quantitative Version of Simple Types 2023 Daniele Pautasso; Simona Ronchi Della Rocca
A Soft Type Assignment System for Lambda-Calculus 2007 M. GABOARDI; S. RONCHI DELLA ROCCA
An Operational Characterization of Strong Normalization 2006 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Bounding normalization time through intersection types 2013 E. De Benedetti; S. Ronchi Della Rocca
Categorical semantics of the call-by-value lambda calculus 1995 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
Characterization of typings in polymorphic type discipline 1988 GIANNINI P.; S. RONCHI DELLA ROCCA
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus 2014 Baillot P.; De Benedetti E.; Ronchi Della Rocca S.
Elementary Affine Logic and the Call by Value Lambda Calculus 2005 P. COPPOLA; U. DAL LAGO; S. RONCHI DELLA ROCCA
Intersection Logic 2001 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Logic 2001 S. RONCHI DELLA ROCCA; ROVERSI L.
Intersection Logic in sequent calculuys style. 2011 Ronchi Della Rocca S.; Saurin A.; Stavrinos Y.; Veneti A.
Intersection, Universally Quantified and Reference Types 2009 M. Dezani; P. Giannini; S. Ronchi Della Rocca
Lambda Calculus and Probabilistic Computation. 2019 FAGGIAN CLAUDIA, RONCHI DELLA ROCCA SIMONETTA
Lazy Logical Semantics 2004 L. PAOLINI; S. RONCHI DELLA ROCCA
Lazy strong normalization 2005 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Logical Semantics for Stability 2009 L.Paolini; M.Piccolo; S.Ronchi Della Rocca
Observability for Pair Pattern Calculi 2015 Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
Operational Semantics and Extensionality 2000 S. RONCHI DELLA ROCCA