DEZANI, Mariangiola

DEZANI, Mariangiola  

INFORMATICA  

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