Dezani-Ciancaglini, Mariangiola.
Dezani-Ciancaglini, M. (Mariangiola)
Dezani-Ciancaglini, Mariangiola, 19..-....
Mariangiola Dezani-Ciancaglini
Dezani-Ciancaglini, M. (Mariangiola), 1946-
VIAF ID: 94829045 (Personal)
Permalink: http://viaf.org/viaf/94829045
Preferred Forms
-
-
- 100 1 _ ‡a Dezani-Ciancaglini, M. ‡q (Mariangiola)
-
-
-
- 100 1 _ ‡a Dezani-Ciancaglini, Mariangiola
-
-
- 100 1 _ ‡a Dezani-Ciancaglini, Mariangiola
- 100 1 _ ‡a Dezani-Ciancaglini, Mariangiola
- 100 1 _ ‡a Dezani-Ciancaglini, Mariangiola
- 100 1 _ ‡a Dezani-Ciancaglini, Mariangiola, ‡d 19..-....
-
- 100 0 _ ‡a Mariangiola Dezani-Ciancaglini
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
Automata, languages and programming / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.). - Berlin, 1989. | |
Discrimination by parallel observers : the algorithm | |
International Symposium on Programming : 5th colloquium Turin, April 6-8, 1982 : proceedings | |
Logical semantics for concurrent lambda-calculus | |
Polymorphic set-theoretic types for functional languages | |
Principal typing for parallel and non-deterministic lambda-caculus | |
Selected papers of the 16th International Colloquium on Automata, Languages, and Programming, Stresa, Italy, July 11-15, 1989 | |
Theories of types and proofs | |
TLCA'95 | |
Typed lambda calculi and applications / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). - Berlin, 1995. | |
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings | |
Types ensemblistes polymorphes pour les langages fonctionnels. | |
Unique solution techniques for processes and functions |