DEZANI, Mariangiola
DEZANI, Mariangiola
INFORMATICA
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus
1978-01-01 M.Coppo; M.Dezani; S. Ronchi della Rocca
A Behavioural Model for Klop's Calculus
2007-01-01 M. DEZANI; M. TATSUTA
A calculus of bounded capacities
2003-01-01 F.BARBANERA; M.BUGLIESI; M. DEZANI; AND V.SASSONE
A Calculus of Evolving Objects
2008-01-01 Mariangiola Dezani; Paola Giannini; Oscar Nierstrasz
A Calculus of Looping Sequences with Local Rules
2012-01-01 L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina
A characterization of F-complete assignments
1986-01-01 M. DEZANI-CIANCAGLINI; I. MARGARIA
A Characterization of F-Complete Type Assignments
1986-01-01 M. Dezani-Ciancaglini; I. Margaria
A collection of contributions in honour of C. Bohm
1993-01-01 M. Dezani; S. Ronchi della Rocca; M.Venturini Zilli
A complete characterization of complete intersection-type preorders.
2003-01-01 M. DEZANI; F. HONSELL; F. ALESSI
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
1997-01-01 Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de' Liguoro
A CUCH-machine: the automatic treatment of bound variables
1972-01-01 C. Bohm;M. Dezani-Ciancaglini
A Data Structure Formalization Through Generating Functions
1974-01-01 C. Bohm ; M. Dezani
A Discrimination Algorithm inside Lambda-calculus
1978-01-01 C.Bohm; M.Dezani; P.Peretti; S. Ronchi della Rocca
A Filter Lambda Model and the Completeness of Type Assignment
1983-01-01 H. Barendregt;M. Coppo;M. Dezani-Ciancaglini
A Filter Model for Concurrent Lambda-calculi
1998-01-01 M. DEZANI; DE'LIGUORO U.; PIPERNO A.
A Filter Model for Mobile Processes
1999-01-01 DAMIANI F.; M. DEZANI; GIANNINI P.
A Formalism for the Description of Protein Interaction
2010-01-01 Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina
A fully abstract model for higher-order mobile ambients
2002-01-01 M. COPPO; DEZANI M.
A Fully Abstract Model for Mobile Ambients
2002-01-01 MARIO COPPO; M. DEZANI
A gentle introduction to multiparty asynchronous session types
2015-01-01