Mariangiola Dezani-Ciancaglini

Mariangiola Dezani

	2012
j60		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-Party Session. Logical Methods in Computer Science 8(1) (2012)
j59		Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431: 165-180 (2012)
j58		Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone: Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464: 113-129 (2012)
c60		Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina: Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions. MeCBIC 2012: 101-106
	2011
j57		Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Extending the lambda-calculus with unbind and rebind. RAIRO - Theor. Inf. and Applic. 45(1): 143-162 (2011)
c59		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28
c58		Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini: A Reputation System for Multirole Sessions. TGC 2011: 1-24
c57		Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari: Constraints for Service Contracts. TGC 2011: 104-120
c56		Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini: Information Flow Safety in Multiparty Sessions. EXPRESS 2011: 16-30
c55		Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Calculus of Looping Sequences with Local Rules. DCM 2011: 43-58
	2010
j56		Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo: A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Inform. 103(1-4): 1-29 (2010)
j55		Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On isomorphisms of intersection types. ACM Trans. Comput. Log. 11(4) (2010)
c54		Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk: Session Types for Access and Information Flow Control. CONCUR 2010: 237-252
c53		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic: Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29
c52		Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Intersection types for unbind and rebind. ITRS 2010: 45-58
	2009
j54		Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina: Type Disciplines for Analysing Biologically Relevant Properties. Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009)
j53		Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. Inf. Comput. 207(5): 595-641 (2009)
j52		Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino: Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410(2-3): 142-167 (2009)
c51		Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca: Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224
c50		Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: The essence of static and dynamic bindings. ICTCS 2009: 99-106
c49		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani: Foundations of session types. PPDP 2009: 219-230
c48		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Sessions and Session Types: An Overview. WS-FM 2009: 1-28
c47		Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for Required/Excluded Elements in CLS. DCM 2009: 38-48
c46		Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for a Stochastic CLS. MeCBIC 2009: 91-105
	2008
j51		Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz: A Calculus of Evolving Objects. Sci. Ann. Comp. Sci. 18: 63-98 (2008)
j50		Vincent Danos, Mariangiola Dezani-Ciancaglini: Preface. Electr. Notes Theor. Comput. Sci. 192(3): 1-2 (2008)
j49		Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti: Types for ambient and process mobility. Mathematical Structures in Computer Science 18(2): 221-290 (2008)
j48		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008)
c45		Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri: Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models 2008: 659-680
c44		Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008: 418-433
c43		Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On Isomorphisms of Intersection Types. CSL 2008: 461-477
c42		Mario Coppo, Mariangiola Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. TGC 2008: 104-125
p1		Mariangiola Dezani-Ciancaglini, J. Roger Hindley: Lambda-Calculus. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
j47		Mariangiola Dezani-Ciancaglini, Makoto Tatsuta: A Behavioural Model for Klop's Calculus. Electr. Notes Theor. Comput. Sci. 169: 19-32 (2007)
j46		Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: Boxed ambients with communication interfaces. Mathematical Structures in Computer Science 17(4): 587-645 (2007)
j45		Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007)
c41		Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31
c40		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida: On Progress for Structured Communications. TGC 2007: 257-275
	2006
j44		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection types and lambda models. Theor. Comput. Sci. 355(2): 108-126 (2006)
c39		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326
c38		Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou: Session Types for Object-Oriented Languages. ECOOP 2006: 328-352
c37		Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida: Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245
c36		Makoto Tatsuta, Mariangiola Dezani-Ciancaglini: Normalisation is Insensible to lambda-Term Identity or Difference. LICS 2006: 327-338
c35		Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: BASS: boxed ambients with safe sessions. PPDP 2006: 61-72
c34		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic: Security Types for Dynamic Web Data. TGC 2006: 263-280
	2005
j43		Fabio Alessi, Mariangiola Dezani-Ciancaglini: Type Preorders and Recursive Terms. Electr. Notes Theor. Comput. Sci. 136: 3-21 (2005)
j42		Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional characterisations of lambda-terms using intersection types. Theor. Comput. Sci. 340(3): 459-495 (2005)
c33		Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444
c32		Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou: A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318
	2004
j41		Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel: Intersection types for explicit substitutions. Inf. Comput. 189(1): 17-42 (2004)
j40		Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
j39		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004)
j38		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec: Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004)
c31		Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590
c30		Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda: Boxed Ambients with Communication Interfaces. MFCS 2004: 119-148
c29		Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
	2003
j37		Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: 144-177 (2003)
j36		Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou: Can addresses be types? (A case study: objects with delegation). Electr. Notes Theor. Comput. Sci. 82(7): 108-129 (2003)
j35		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection Types and Computational Rules. Electr. Notes Theor. Comput. Sci. 84: 45-59 (2003)
j34		Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Infinitary lambda calculus and discrimination of Berarducci trees. Theor. Comput. Sci. 2(298): 275-302 (2003)
j33		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4(1): 120-147 (2003)
c28		Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: A Calculus of Bounded Capacities. ASIAN 2003: 205-223
c27		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Tailoring Filter Models. TYPES 2003: 17-33
	2002
j32		Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama: The Relevance of Semantic Subtyping. Electr. Notes Theor. Comput. Sci. 70(1): 88-105 (2002)
j31		Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama: The Semantics of Entailment Omega. Notre Dame Journal of Formal Logic 43(3): 129-145 (2002)
j30		Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi: Theories of Types and Proofs 1997 - Preface. Theor. Comput. Sci. 272(1-2): 1-2 (2002)
j29		Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Intersection types for lambda-trees. Theor. Comput. Sci. 272(1-2): 3-40 (2002)
j28		Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle||. ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
c26		Steffen van Bakel, Mariangiola Dezani-Ciancaglini: Characterising Strong Normalisation for Explicit Substitutions. LATIN 2002: 356-370
c25		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan: Two Behavioural Lambda Models. TYPES 2002: 127-147
c24		Mario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI 2002: 255-271
i2		Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection Types and Lambda Theories. CoRR cs.LO/0211011 (2002)
	2001
j27		Mariangiola Dezani-Ciancaglini, Elio Giovannetti: From Bohm's Theorem to Observational Equivalences: an Informal Account. Electr. Notes Theor. Comput. Sci. 50(2): 83-116 (2001)
j26		Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone: A Type Inference Algorithm for Secure Ambients. Electr. Notes Theor. Comput. Sci. 62: 83-101 (2001)
j25		Mario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 62: 177-194 (2001)
j24		Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Approximation Theorems for Intersection Type Systems. J. Log. Comput. 11(3): 395-417 (2001)
c23		Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
c22		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell: Filter Models and Easy Terms. ICTCS 2001: 17-37
	2000
j23		Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Böhm's theorem for Berarducci trees. Electr. Notes Theor. Comput. Sci. 31: 34-57 (2000)
c21		Mariangiola Dezani-Ciancaglini, Ivano Salvo: Security Types for Mobile Safe Ambients. ASIAN 2000: 215-236
c20		Mariangiola Dezani-Ciancaglini: Intersection Types and Properties of Lambda Terms. ICALP Satellite Workshops 2000: 267-268
c19		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops 2000: 287-302
c18		Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS 2000: 304-313
i1		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of Complete Intersection-Type Theories. CoRR cs.LO/0011039 (2000)
	1999
j22		Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: A Subtyping for Extensible, Incomplete Objects. Fundam. Inform. 38(4): 325-364 (1999)
j21		Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn: Discrimination by Parallel Observers: The Algorithm. Inf. Comput. 150(2): 153-186 (1999)
j20		Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: A filter model for mobile processes. Mathematical Structures in Computer Science 9(1): 63-101 (1999)
j19		Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin: Preface. Mathematical Structures in Computer Science 9(4): 321 (1999)
j18		Alessandro Berarducci, Mariangiola Dezani-Ciancaglini: Infinite lambda-Calculus and Types. Theor. Comput. Sci. 212(1-2): 29-75 (1999)
	1998
j17		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998)
c17		Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Types for trees. PROCOMET 1998: 11-29
	1997
j16		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Inform. 32(3-4): 193-250 (1997)
j15		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri: The "Relevance" of Intersection and Union Types. Notre Dame Journal of Formal Logic 38(2): 246-269 (1997)
c16		Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn: Discrimination by Parallel Observers. LICS 1997: 396-407
c15		Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477
	1996
j14		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170(1-2): 83-128 (1996)
	1995
j13		Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Intersection and Union Types: Syntax and Semantics. Inf. Comput. 119(2): 202-230 (1995)
e3		Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin (Eds.): Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings. Lecture Notes in Computer Science 902, Springer 1995, isbn 3-540-59048-X
	1994
j12		Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994)
j11		Mariangiola Dezani-Ciancaglini: Preface. Inf. Comput. 109(1/2): 1-3 (1994)
c14		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220
c13		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Fully Abstract Semantics for Concurrent Lambda-calculus. TACS 1994: 16-35
	1993
c12		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412
	1992
j10		Mariangiola Dezani-Ciancaglini, J. Roger Hindley: Intersection Types for Combinatory Logic. Theor. Comput. Sci. 100(2): 303-324 (1992)
	1991
c11		Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection and Union Types. TACS 1991: 651-674
	1990
j9		Mariangiola Dezani-Ciancaglini, Betti Venneri: Partial Types and Intervals. SIAM J. Comput. 19(4): 644-568 (1990)
	1989
e2		Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca (Eds.): Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Lecture Notes in Computer Science 372, Springer 1989, isbn 3-540-51371-X
	1987
j8		Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Type Theories, Normal Forms and D_\infty-Lambda-Models. Inf. Comput. 72(2): 85-116 (1987)
	1986
j7		Mariangiola Dezani-Ciancaglini, Ines Margaria: A Characterization of F-Complete Type Assignments. Theor. Comput. Sci. 45(2): 121-157 (1986)
	1984
c10		Mariangiola Dezani-Ciancaglini, Ines Margaria: F-Semantics for Intersection Type Discipline. Semantics of Data Types 1984: 279-300
	1983
j6		Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini: A Filter Lambda Model and the Completeness of Type Assignment. J. Symb. Log. 48(4): 931-940 (1983)
c9		Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo: Applicative Information Systems. CAAP 1983: 35-64
	1982
e1		Mariangiola Dezani-Ciancaglini, Ugo Montanari (Eds.): International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings. Lecture Notes in Computer Science 137, Springer 1982, isbn 3-540-11494-7
	1979
j5		Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta: Complexity of lambda-term reductions. ITA 13(3) (1979)
j4		Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca: A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. 8: 265-292 (1979)
c8		Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé: Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146
	1978
c7		Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. ICALP 1978: 142-164
	1977
c6		Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini: Termination Tests inside lambda-Calculus. ICALP 1977: 95-110
	1976
j3		Mariangiola Dezani-Ciancaglini: Characterization of Normal Forms Possessing Inverse in the lambda-beta-eta-Calculus. Theor. Comput. Sci. 2(3): 323-337 (1976)
	1975
c5		Corrado Böhm, Mariangiola Dezani-Ciancaglini: Lambda-terms as total or partial functions on normal forms. Lambda-Calculus and Computer Science Theory 1975: 96-121
	1974
c4		Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. ICALP 1974: 170-184
c3		Corrado Böhm, Mariangiola Dezani-Ciancaglini: Combinatorial Problems, Combinator Equations and Normal Forms. ICALP 1974: 185-199
c2		Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: Listing of information structures defined by fixed-point operators. Symposium on Programming 1974: 266-279
	1973
j2		Corrado Böhm, Mariangiola Dezani: Notes on "A CUCH-machine: The automatic treatment of bound variables". International Journal of Parallel Programming 2(2): 157-160 (1973)
	1972
j1		Corrado Böhm, Mariangiola Dezani-Ciancaglini: A CUCH-machine: The automatic treatment of bound variables. International Journal of Parallel Programming 1(2): 171-191 (1972)
c1		Corrado Böhm, Mariangiola Dezani-Ciancaglini: Can Syntax Be Ignored during Translation? ICALP 1972: 197-207

Coauthor Index

Colors in the list of coauthors

Last update Tue May 21 14:03:42 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page