Current Past Me Papers Talks Artifacts Extra HotPage
  • All Papers
  • Notes
Papers
BiocomputingSpatial LogicsSemistructured DataProcess CalculiObjectsTypes and SemanticsLanguage Design and ImplementationUser InterfacesBibliographies

Computational Biology
    2014
  • Morphisms of Reaction Networks that Couple Structure to Function. Luca Cardelli.
  • Unlimited multistability and Boolean logic in microbial signaling. Varun B. Kothamachu, Elisenda Feliu, Luca Cardelli, Orkun S. Soyer.
    • ©2014 PDF Under review.
  • Lineage Grammars: Describing, Simulating and Analyzing Population Dynamics. Adam Spiro, Luca Cardelli, Ehud Shapiro.
  • Programming chemistry in DNA addressable bioreactors. Harold Fellermann, Luca Cardelli.
  • ©2014 PDF Royal Society Interface, 12 August 2014; 11(99), DOI: 10.1098/rsif.2013.0987. http://rsif.royalsocietypublishing.org/content/11/99/20130987
  • Classical Cut Elimination in the Pi-Calculus. Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti.
    • ©2014 PDF Acta Informatica, in press 2014.
    • ©2010 PDF Draft, February 2010.
  • The Measurable Space of Stochastic Processes. Luca Cardelli, Radu Mardare.
    • ©2014 PDF Fundamenta Informaticae, in press, 2014.
    • ©2010 PDF QEST 2010 extended version.
    • ©2010 PDF Seventh International Conference on the Quantitative Evaluation of Systems, QEST 2010, Williamsburg, VA, USA September 15-18. IEEE Publishing, ISBN: 978-0-7695-4188-4, pp 171-180, 2010.
    • ©2010 PDF CoSBi Technical Report TR-3-2010, March 2010.
  • An Intuitive Modelling Interface for Systems Biology. Ozan Kahramanoğulları, Luca Cardelli, Emmanuelle Caron.
    • ©2009 PDF Developments in Computational Models 2009. EPTCS 9, pp. 73-86, 2009. http://arxiv.org/abs/0911.2327.
    • ©2009 PDF Developments in Computational Models 2009. A workshop affiliated with ICALP 2009.
    2013
  • Phosphorelays provide tunable signal processing capabilities for the cell. Varun B. Kothamachu, Elisenda Feliu, Carsten Wiuf, Luca Cardelli, Orkun S. Soyer.
  • Programmable chemical controllers made from DNA. Yuan-Jyue Chen, Neil Dalchau, Niranjan Srinivas, Andrew Phillips, Luca Cardelli, David Soloveichik, and Georg Seelig.
  • Stochastic Pi-Calculus Revisited. Luca Cardelli, Radu Mardare.
    • ©2013 PDF in Zhiming Liu, Jim Woodcock, Huibiao Zhu, Eds. Theoretical Aspects of Computing - ICTAC 2013, Shanghai, September 2013, LNCS 8049, Springer 2013. 1-21. Doi:10.1007/978-3-642-39718-9.
    • ©2011 PDF February 2011.
  • DNA Computing and Molecular Programming. Luca Cardelli, William Shih (Eds).
    • Natural Computing (2013) 12:209. Special Issue: DNA Computing 17. ISSN: 1567-7818 (Print) 1572-9796 (Online). June 2013.
  • Two-Domain DNA Strand Displacement. Luca Cardelli.
    • ©2013 PDF Mathematical Structures in Computer Science, 23, pp 247-271 doi:10.1017/S0960129512000102. April 2013. Published online: 28 February 2013.
    • ©2010 PDF In S. B. Cooper, E. Kashefi, P. Panangaden (Eds.): Developments in Computational Models (DCM 2010). EPTCS 26, 2010, pp. 47-61, doi:10.4204/EPTCS.26.5. June 2010.
    • ©2010 PDF Developments in Computational Models 2010, preprint.
    2012
  • Continuous Markovian Logic - Axiomatization and Quantified Metatheory. Radu Mardare, Luca Cardelli, Kim Larsen.
    • ©2012 PDF LMCS - Logical Methods in Computer Science, 8(4-19), Nov 2012. DOI:10.2168/LMCS-8(4-19)2012 (also http://arxiv.org/abs/1211.5190)
    • ©2011 PDF Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL (CSL 2011). Schloss Dagstuhl Leibniz-Zentrum für Informatik, September 2011. pp 144-158. ISBN (print) 978-3-939897-32-3
      ISBN (electronic) 978-3-939897-32-3.
    • ©2010 PDF CoSBi Technical Report TR-4-2010, March 2010.
  • The Cell Cycle Switch Computes Approximate Majority. Luca Cardelli, Attila Csikász-Nagy. Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking. Matthew R. Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips.
    • ©2012 Journal of the Royal Society Interface, J R Soc Interface Jul 2012;9 1470-1485, doi: 10.1098/​rsif.2011.0800.
    • ©2011 PDF September 2011.
    • ©2010 PDF September 2010.
  • Processes in Space. Luca Cardelli, Philippa Gardner.
    • ©2012 Theoretical Computer Science,Volume 431, May 2012, pp. 40-55. DOI: 10.1016/j.tcs.2011.12.051. http://dx.doi.org/10.1016/j.tcs.2011.12.051
    • ©2010 PDF Extended CiE 2010 version, April 2010.
    • ©2010 F.Ferreira, B.Löwe, E.Mayordomo, L.M.Gomes (Eds.). Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010, Proceedings. LNCS 6158, pp. 78-87, Springer 2010. (Deprecated due to physical production limitations; see extended version.)
    • ©2009 PDF Unabridged Version, October 2009.
    • ©2009 PDF Imperial College Technical Report DTR09-4, June 2009.
  • Transcriptional Regulation is a Major Controller of Cell Cycle Transition Dynamics. Alessandro Romanel, Lars Juhl Jensen, Luca Cardelli, Attila Csikász-Nagy.
    • ©2012 PDF PLoS ONE 7(1): e29716. doi:10.1371/journal.pone.0029716. Jan 2012. <http://www.plosone.org/article/info%3Adoi%2F10.1371%2Fjournal.pone.0029716>
    2011
  • DNA Computing and Molecular Programming. Luca Cardelli, William Shih (Eds).
    • 17th International Conference, DNA 17, Pasadena, CA, USA, September 2011, Proceedings. Lecture Notes in Computer Science 6937, Springer, http://dx.doi.org/10.1007/978-3-642-23638-9.
  • A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization. Neil Dalchau, Andrew Phillips, Leonard D. Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M. Werner.
    • ©2011 PDF PLoS Computational Biology 7(10): e1002144. doi:10.1371/journal.pcbi.1002144. October 2011.
  • Strand Algebras for DNA Computing. Luca Cardelli.
    • ©2011 PDF Natural Computing 10(1) p. 407-428, March 2011. DOI: 10.1007/s11047-010-9236-7.
    • ©2009 PDF DNA Computing and Molecular Programming. 15th International Conference, DNA 15, Fayetteville, AR, USA, June 2009, Revised Selected Papers. LNCS 5877, Springer, October 2009, pp 12-24. (Deprecated: reformatted for LNCS and truncated due to new space restrictions. This is not the paper that appeared at the conference: see original Apr 2009 conference version or the extended Natural Computing version.)
    • ©2009 PDF Apr 2009. DNA 15 Preliminary Proceedings. (Distributed at the conference only.)
    • ©2009 PDF Mar 2009. DNA 15 Submission. (Uses a different DNA semantics.)
  • Response Dynamics of Phosphorelays Suggest Their Potential Utility in Cell Signaling. Attila Csikász-Nagy, Luca Cardelli, Orkun S Soyer.
    • ©2011 PDF PDF Journal of the Royal Society Interface. 6 April 2011 vol. 8 no. 57 480-488. Published Online August 11, 2010. doi: 10.1098/​rsif.2010.0336.
  • Modular Markovian Logic. Luca Cardelli, Kim Larsen, Radu Mardare.
    • ©2011 PDF ICALP '11. Proceedings of the 38th international conference on Automata, languages and programming. Vol II, 380-391. Springer July 2011. ISBN: 978-3-642-22011-1.
    • ©2011 PDF February 2011, ICALP'11 submission.
  • Reversibility in Massive Concurrent Systems. Luca Cardelli, Cosimo Laneve.
    • ©2011 PDF Scientific Annals of Computer Science 21(2) 175-198, A.I. Cuza University Press, October 2011.
    • ©2011 PDF September 2011.
  • Reversible Structures. Luca Cardelli, Cosimo Laneve.
    • ©2011 PDF Proceedings of 9th Int. Conf. on Computational Methods in Systems Biology (CMSB 2011), ACM Digital Library, September 2011. 131-140. Doi:10.1145/2037509.2037529.
    • ©2011 PDF May 2011.
    2010
  • Algebras and Langugages for Molecular Programming. Luca Cardelli.
    • ©2010 PDF Unconventional Computing 2010 (Invited Talk Abstract).
  • Exploring DNA Sratnd-Displacement Computational Elements. Luca Cardelli, Andrew Phillips, Simon Youssef.
    • ©2010 PDF (2-page Abstract) DNA 16 At-conference Proceedings. May 2010.
    • ©2010 PDF February 2010.
  • Turing Universality of the Biochemical Ground Form. Luca Cardelli, Gianluigi Zavattaro. (Extended version of "On the Computational Power of Biochemistry" with new results.)
    • ©2010 PDF Mathematical Structures in Computer Science, 20(1):45-73, February 2010. Publisher download (Private).
    • ©2010 PDF Mathematical Structures in Computer Science, 20(1):45-73, February 2010. DOI 10.1017/S0960129509990259.
    2009
  • Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics. Dennis Y.Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher. BMC Systems Biology 2009, 3:118. doi:10.1186/1752-0509-3-118.
    • ©2009 PDF Publisher version at http://www.biomedcentral.com/1752-0509/3/118. November 2009.
    • ©2009 PDF November 2009 Submission.
  • Visualization in Process Algebra Models of Biological Systems. Luca Cardelli, Corrado Priami.
    • ©2009 PDF In Tony Hey, Stewart Tansley, Kristin Tolle, Eds. The Fourth Paradigm: Data Intensive Scientific Discovery. Creative Commons Attribution Share Alike License, pp 99-105, October 2009.
  • Molecules as Automata (Extended Abstract). Luca Cardelli.
    • ©2009 PDF In: A.Corradini, U.Montanari (Eds.). Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa 13-16 June 2008. Lecture Notes in Computer Science 5486, Springer, June 2009.
  • A Programming Language for Composable DNA Circuits. Andrew Phillips, Luca Cardelli.
    • ©2009 PDF (Publisher's Version) Journal of the Royal Society Interface, August 6, 2009 6:S419-S436. Published Online 17 June 2009 DOI: 10.1098/rsif.2009.0072.focus.
    • ©2009 PDF Journal of the Royal Society Interface. DOI: 10.1098/rsif.2009.0072.focus.17 June 2009.
  • A Process Model of Actin Polymerisation. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips.
    • ©2009 PDF Electronic Notes in Theoretical Computer Science (ENTCS) 229(1) February 2009, 127-144.
    • ©2008 PDF From Biology to Concurrency and back, FBTC 2008, Satellite Workshop of ICALP 2008, July 2008, Reykjavik.
  • A Process Model of Rho GTP-binding Proteins. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
  • Can a Systems Biologist Fix a Tamagotchi? Luca Cardelli
    • ©2009 In: Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin (Eds.), From Semantics to Computer Science - Essays in Honour of Gilles Khan, Chapter 23, Cambridge University Press, pp 517-528. Cambridge University Press, 2009. ISBN 978-0-521-51825-3.
    • ©2007 PDF Position Paper for the Gilles Kahn Colloquium, Paris, January 12, 2007.
  • Artificial Biochemistry. Luca Cardelli
    • ©2009 PDF Current Version. Auxiliary Materials: PDF Figures.
    • ©2009 In A.Condon, D.Harel, J.N.Kok, A.Salomaa, E.Winfree (Eds.) Algorithmic Bioprocesses. Springer 2009. DOI: 10.1007/978-3-540-88869-7_22. ISBN: 978-3-540-88868-0. Auxiliary Materials: PDF Simulations, PDF Figures.
    • ©2006 PDF Technical Report TR-08-2006, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, 2006.
    2008
  • Termination Problems in Chemical Kinetics. Gianluigi Zavattaro, Luca Cardelli.
    • ©2008 PDF In F.van Breugel, M.Chechik (Eds.) CONCUR 2008 - Concurrency Theory, 19th International Conference, Toronto, Canada, August 2008. LNCS 5201, pp 477-491, Springer 2008.
  • On the Computational Power of Biochemistry. Luca Cardelli, Gianluigi Zavattaro
    • ©2008 PDF Third International Conference on Algebraic Biology, AB 2008, July 2008, Linz.
  • A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları.
    • ©2008 PDF Proc. From Biology To Concurrency and back, Lisbon 8 Sep 2007 in conjunction with Concur 2007.ENTCS 194(3):87-102, Elsevier, 2008. <doi:10.1016/j.entcs.2007.12.007>
  • From X to Pi: Representing Classical Sequent Calculus in Pi-calculus. S. van Bakel, L. Cardelli and M.G. Vigliotti
    • ©2008 PDF International Workshop on Classical Logic and Computation (CL&C'08), Reykjavik, Iceland, July 2008.
  • From Processes to ODEs by Chemistry. Luca Cardelli
    • ©2008 PDF Fifth IFIP International Conference on Theoretical Computer Science, TCS 2008, 261-281, Milan, September 2008. ISBN: 978-0-387-09679-7. DOI: <http://dx.doi.org/10.1007/978-0-387-09680-3_18>
  • On Process Rate Semantics. Luca Cardelli
    • ©2008 PDF Same as TCS Version, but with better formatting and navigation.
    • ©2008 Theoretical Computer Science 391(3) 190-215, Elsevier, 2008. DOI: <http://dx.doi.org/10.1016/j.tcs.2007.11.012>
  • Bitonal Membrane Systems - Interactions of Biological Membranes. Luca Cardelli.
    • ©2008 PDF Theoretical Computer Science 404(1-2), Elsevier, September 2008, pp. 5-18. DOI: <http://dx.doi.org/10.1016/j.tcs.2008.04.016>
    2007
  • Efficient, Correct Simulation of Biological Processes in Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli
    • ©2007 PDF Proc. Computational Methods in Systems Biology, CMSB 2007, Edinburgh, September 2007. LNBI 4695, 184-199, Springer 2007.
  • A Process Algebra Master Equation. Luca Cardelli
    • ©2007 PDF Fourth International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, September 2007. IEEE Publishing, ISBN: 978-0-7695-2883-0, pp 219-224, 2007.
  • Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. Ralf Blossey, Luca Cardelli, Andrew Phillips
    • ©2007 PDF PDF HFSP Journal, 2(1):17–28 February 2008.
    • ©2007 PDF Arxiv: q-bio.MN/070216, Feb 9 2007.
    2006
  • A Graphical Representation for Biological Processes in the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli, Giuseppe Castagna
    • ©2006 PDF Transactions on Computational Systems Biology VII - Lecture Notes in Computer Science, Vol 4230, Springer 2006, ISBN: 978-3-540-48837-8, pp 123-152. [@Springer]
  • A Compositional Approach to the Stochastic Dynamics of Gene Networks. Ralf Blossey, Luca Cardelli, Andrew Phillips
    • ©2006 PDF Transactions on Computational Systems Biology IV - Lecture Notes in Computer Science, Vol 3939, Springer 2006, ISBN: 3-540-33245-6, pp 99-122. [@Springer]
    • ©2005 PDF CONCUR 2005 Invited Lecture.Lecture Notes in Computer Science, Vol 3653, Springer, 2005
    • ©2005 PDF (Aux Material: PDF) Early Version.
  • A Universality Result for a (Mem)Brane Calculus Based on Mate/Drip Operations. Luca Cardelli, Gheorghe Păun
    • ©2006 PDF International Journal of Foundations of Computer Science, 17(1), pp 49-68. World Scientific Publishing Company. 2006. [@WorldScientific]
    • ©2005 Miguel Angel Gutirrez-Naranjo, Gheorghe Păun,Mario J. Prez-Jimnez, Eds.. Cellular Computing (Complexity Aspects) ESF PESC Exploratory Workshop, Sevilla, Jan 31 - Feb 2, 2005. Pages 75-94. Fnix Editora 2005.
    2005
  • A Graphical Representation for the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli
    • ©2005 PDF Proceedings of Concurrent Models in Molecular Biology (Bioconcur'05), affiliated with CONCUR'05. 2005.
  • Where Membranes Meet Complexes. Luca Cardelli, Sylvain Pradalier
    • ©2005 PDF Proceedings of Concurrent Models in Molecular Biology (Bioconcur'05), affiliated with CONCUR'05. 2005.
    • ©2005 PDF Draft.
  • A Stochastic π-Calculus Models of MHC Class I Antigen Presentation. Leonard Goldstein (with Luca Cardelli and Andrew Phillips).
    • ©2005 PDF Computational Biology MPhil Project, Cambridge, August 26 2005.
  • Abstract Machines of Systems Biology. Luca Cardelli.
    • ©2007 PDF Current Version.
    • ©2007 PDF Reprinted in the Bulletin of the EATCS No 93, The Natural Computing Column by Grzegorz Rozenberg, pp 176-204, 2007.
    • ©2005 PDF Transactions on Computational Systems Biology. III, LNBI 3737, pp 145-168, Springer 2005. [@Springer]
  • Biological Systems as Reactive Systems. (Abstract only) Luca Cardelli.
    • ©2005 PDF Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings. Editors: Mario Coppo, Elena Lodi, G. Michele Pinna ISBN: 3-540-29106-7. pp 21, 2005.
  • Biological Systems as Complex Systems. Luca Cardelli.
  • Brane Calculi - Interactions of Biological Membranes. Luca Cardelli.
    • ©2005 PDF Current Version.
    • ©2005 PDF V.Danos, V.Schachter Eds.: Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers. Lecture Notes in Computer Science, Vol 3082, Springer, 2005. ISBN 3-540-25375-0. pp 257-280.
    • ©2004 Proc. BioConcur'03.
    2004
  • A Correct Abstract Machine for the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli.
    • ©2005 PDF Current Version.
    • ©2004 PDF Proceedings of Concurrent Models in Molecular Biology (Bioconcur'04), affiliated with CONCUR'04. 2004.
  • Process Calculi and Biology. Luca Cardelli.
  • Languages for Systems Biology. Luca Cardelli.
  • BioAmbients: An Abstraction for Biological Compartments. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro.
    • ©2004 PDF Theoretical Computer Science, Special Issue on Computational Methods in Systems Biology. Volume 325, Issue 1 , 28 September 2004, Pages 141-167. Elsevier. Available at ScienceDirect.
      • ReadMe for BioSPI Obesity Example
      • Code for BioSPI Obesity Example
  • Bioware Languages. Luca Cardelli.
    • ©2004 PDF In: Andrew Herbert, Karen Sparck Jones (Eds.): Computer Systems: Theory, Technology, and Applications - A Tribute to Roger Needham, Monographs in Computer Science. Springer 2004. ISBN 0-387-20170-X. pp 59-65.
Spatial Logics
    2006
  • Ambient Logic. Luca Cardelli and Andrew D. Gordon.
    • ©2006 PDF Mathematical Structures in Computer Science. Accepted for publication, 2006. Not appearing because of formatting dispute with printer.
  • 2005
  • Deciding Validity in a Spatial Logic for Trees. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon. 
    • ©2005 PDF Journal of Functional Programming, Vol 15, pp 543-572. Cambridge University Press, 2005.
    • ©2003 PDF ACM Workshop on Types in Language Design and Implementation, TLDI'03, New Orleans, January 2003, ACM Press. pp 62-73.
    • ©2002 PDF Full Version. Microsoft Tech Report MSRTR2002113.
  • 2004
  • A Spatial Logic for Concurrency (Part II). Luis Caires and Luca Cardelli.
    • ©2004 PostScript PDF Theoretical Computer Science, 322(3) pp. 517-565, September 2004.
    • ©2002 PostScript PDF Lubos Brim, Petr Jancar, Mojmir Kretinsky Antonin Kucera (Eds.). CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 2002, Proceedings. Lecture Notes in Computer Science 2421, Springer, 2002, ISBN 3-540-44043-7. pp 209-225. [@Springer]
    2003
  • A Spatial Logic for Concurrency (Part I). Luis Caires and Luca Cardelli.
    • ©2003 PostScript PDF Information and Computation, Vol 186/2 November 2003. pp 194-235.
    • ©2001 PostScript Naoki Kobayashi and Benjamin C. Pierce (Eds.). Theoretical Aspects of Computer Software; 4th International Symposium, TACS 2001, Sendai, Japan, October 2001, Proceedings. Lecture Notes in Computer Science 2215. Springer, 2001. ISBN 3 540 42736 8. pp 1-37. [@Springer]
  • 2002
  • A Spatial Logic for Querying Graphs. Luca Cardelli, Philippa Gardner, and Giorgio Ghelli.
    • ©2002 PostScript PDF Peter Widmayer, Francisco Triguero, Rafael Morales, Matthew Hennessy, Stephan Eidenbenz, Ricardo Conejo (Eds.). Automata, Languages, and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 2002, Proceedings. Lecture Notes in Computer Science, Vol 2380, Springer, 2002. ISBN 3-540-43864-5. pp 597-610.
    2001
  • Logical Properties of Name Restriction. Luca Cardelli and Andrew D. Gordon.
    • ©2001 PDF Samson Abramsky (Ed.). Typed Lambda Calculi and Applications. 5th International Conference, TLCA 2001, Krakow, Poland, May 2001, Proceedings. Lecture Notes in Computer Science, Vol. 2044, Springer, 2001. ISBN 3-540-41960-8. pp 46-60. [@Springer]
    • ©2000 PDF Full Version.
  • 2000
  • Anytime, Anywhere. Modal Logics for Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
    • ©2000 PDF Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000. pp 365-377. [US.pdf]
Semistructured Data
    2007
  • Manipulating Trees with Hidden Labels. Luca Cardelli, Philippa Gardner, and Giorgio Ghelli.
    • ©2007 PDF L.Cardelli, M.Fiore, G.Winskel (Eds.) Computation, Meaning end Logic: Articles dedicated to Gordon Plotkin. ENTCS Electronic Notes in Theoretical Computer Science, Vol 172, 2007. pp. 177-201.
    • ©2006 PDF L.Cardelli, M.Fiore, G.Winskel (Eds.) Computation, Meaning end Logic: Articles dedicated to Gordon Plotkin. ENTCS Preliminary Proceedings, Edinburgh Sep 9, 2006. pp 129-253.
    • ©2004 PDF Full Version. Departmental Technical Report 2004/4, Imperial College London.
    • ©2003 PDF Andrew D. Gordon (Ed.) Foundations of Software Science and Computational Structures. 6th International Conference, FOSSACS 2003. Held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003. Warsaw, Poland, April 7-11, 2003. Proceedings. Lecture Notes in Computer Science 2620. Springer, 2003. ISBN 3-540-00897-7. pp 216-232. [@Springer]
  • 2004
  • Greedy Regular Expression Matching. Alain Frisch and Luca Cardelli.
    • ©2004 PDF Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Lecture Notes in Computer Science 3142. Springer 2004.ISBN 3-540-22849-7. pp. 618-629.
    • ©2004 PDF Plan-X'04 Workshop. (No formal proceedings.) 2004 Microsoft & Ecole Normale Superieure.
  • TQL: A Query Language for Semistructured Data Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli.
    • ©2004 PDF Mathematical Structures in Computer Science. Vol 14. Cambridge University Press. 2004. pp 285-327.
    2001
  • A Query Language Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli.
    • ©2001 PostScript PDF ESOP'01 Invited Paper. David Sands, Editor: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001, Held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2028, Springer, 2001. ISBN 3-540-41862-8. pp. 1-22.
    • ©2001 PostScript Database-Oriented Version: Extended Abstract.
    • ©2001 PostScript Database-Oriented Version: Full Version.
  • Describing Semistructured Data. Luca Cardelli.
    2000
  • Semistructured Computation. Luca Cardelli.
    • ©2000 PDF Invited Paper. Richard C. H. Connor, Alberto O. Mendelzon (Eds.): Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers. Lecture Notes in Computer Science 1949. Springer, 2000. ISBN 3-540-41481-9. pp. 1-16. [@Springer]
Process Calculi
    2003
  • Equational Properties of Mobile Ambients. Andrew D. Gordon and Luca Cardelli.
    • ©2003 PostScript PDF Mathematical Structures in Computer Science 13(3):371-408, June 2003.
    • ©1999 PostScript PDF Extended version. Microsoft Research Technical Report MSR-TR-99-11. 1999. [@Microsoft]
    • ©1999 PostScript PDF Wolfgang Thomas, Editor. Foundations of Software Science and Computational Structures, Second International Conference, FOSSACS'99. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 1999. Proceedings. Lecture Notes in Computer Science, Vol. 1578. Springer, 1999. ISBN 3-540-65719-3. pp 212-226.
    2002
  • Types for the Ambient Calculus. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon.
    • ©2002 PostScript PDF Information and Computation, 177(2), 2002. pp. 160-194.
      (I&C Special issue on IFIP TCS 2000, where "Ambient Groups and Mobility Types" was published.)
    2000
  • Mobility and Security. Luca Cardelli.
    • ©2000 PDF Lecture notes for Marktoberdorf Summer School 1999. (A summary of several Ambient Calculus papers.) Foundations of Secure Computation, Friedrich L. Bauer and Ralf Steinbrggen (Eds.), NATO Science Series, Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation, Marktoberdorf, Germany, 27 July - 8 August 1999. IOS Press, 2000. ISBN 1 58603 015 9. pp. 3-37. [US.pdf]
  • Ambient Groups and Mobility Types. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon.
    • ©2000 PDF PostScript Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (Eds.). Theoretical Computer Science; Exploring New Frontiers in Theoretical Informatics. International Conference IFIP TCS 2000, Sendai, Japan, August 2000, Proceedings. Lecture Notes in Computer Science, Vol. 1872, Springer, 2000. ISBN 3-540-67823-9. pp. 333-347.
  • Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
    • Abridged reprint. Formal Methods for Distributed Processing, A Survey of Object-Oriented Approaches, H. Bowman and J. Derrick Editors, Cambridge University Press, 2001. ISBN 0-521-77184-6. pp 198-229.
    • ©2000 PDF Theoretical Computer Science, Special Issue on Coordination, D. Le Mtayer Editor. Vol 240/1, June 2000. pp 177-213. [US.pdf]
    • ©1998 PDF Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998. pp. 140-155. [@Springer] [US.pdf]
    • ©1998 PostScript Annex.
    • ©1997 PostScript Short summary (HOOTS'97)
    1999
  • Wide Area Computation. Luca Cardelli.
    • ©1999 PDF ICALP'99 Invited Paper. (Short Version of Abstractions for Mobile Computation.) Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, Editors. Automata, Languagese and Programming, 26th International Colloquium, ICALP'99 Proceedings. Lecture Notes in Computer Science, Vol. 1644, Springer, 1999. ISBN 3-540-66224-3. pp. 10-24. [@Springer] [US.pdf]
  • Foundations for Wide-Area Systems. Luca Cardelli.
    • ©1999 FMOODS'99 Tutorial Abstract. Paolo Ciancarini, Alessandro Fantechi and Roberto Gorrieri, Editors. Formal Methods for Open Object-Based Distributed Systems, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Kluwer Academic Publishers, 1999. ISBN 0-7923-8429-6. pp 349-349.
  • Mobility Types for Mobile Ambients. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. 
    • ©1999 PDF PostScript Extended version. Microsoft Research Technical Report MSR-TR-99-32. 1999. [@Microsoft]
    • ©1999 PDF PostScript Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, Editors. Automata, Languagese and Programming, 26th International Colloquium, ICALP'99 Proceedings. Lecture Notes in Computer Science, Vol. 1644, Springer, 1999. ISBN 3-540-66224-3. pp. 230-239. [@Springer]
  • Types for Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
    • ©1999 PDF Proceedings of the 26th ACM Symposium on Principles of Programming Languages, 1999. pp 79-92. [US.pdf]
    • ©1998 PDF Ambient Décor (Abstract). In P.Degano, U.Vaccaro, G.Pirillo (Eds.): Sixth Italian Conference on Theoretical Computer Science, Prato Italy, November 9-11 1998, World Scientific, 1998.
  • Abstractions for Mobile Computation. Luca Cardelli.
    • ©1999 PDF Jan Vitek and Christian Jensen, Editors. Secure Internet Programming: Security Issues for Mobile and Distributed Objects. Lecture Notes in Computer Science, Vol. 1603, Springer, 1999. ISBN 3-540-66130-1. pp. 51-94. [@Springer] [US.pdf]
    • ©1998 PostScript Microsoft Research Technical Report MSR-TR-98-34. 1998. [@Microsoft]
    1998
  • Wide-Area Languages. (Abstract only) Luca Cardelli.
    • ©1998 PDF Kurt Rothermel and Fritz Hohl, Editors. Mobile Agents. Second International Workshop, MA '98, Stuttgart, Germany, September 1998, Proceedings. Lecture Notes in Computer Science, Vol. 1477, Springer, 1998. ISBN 3-540-64959-X. pp. 208.
    1982
  • Real time agents. Luca Cardelli.
    • ©1982 PDF PDF Mogens Nielsen, Erik Meineche Schmidt (Eds.): Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Lecture Notes in Computer Science, Vol. 140, Springer, 1982, ISBN 3-540-11576-5. pp 94-106. [@Springer]
  • 1980
  • Analog processes. Luca Cardelli.
    • ©1980 PDF P. Dembinski (Ed.): Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Lecture Notes in Computer Science, Vol. 88, Springer 1980, ISBN 3-540-10027-X. pp 181-193. [@Springer]
Objects
    2003
  • ECOOP 2003 - Object-Oriented Programming. (Book) Luca Cardelli (Ed.). 17th European Conference, Darmstadt, Germany, July 2003, Proceedings.
    • ©2003 Lecture Notes in Computer Science, Vol. 2743, Springer, 2003. ISBN 3-540-40531-3.
    1999
  • Comparing Object Encodings. Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce.
    • ©1999 PostScript PDF Information and Computation.Vol. 155, No. 1/2, Dec 1999, pp. 108-133.
    • ©1997 PDF Preliminary version. Martín Abadi, Takayasu Ito (Eds.): Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings. Lecture Notes in Computer Science, Vol. 1281, Springer, 1997, ISBN 3-540-63388-X. pp 415-438. [@Springer]
  • 1996
  • Bad engineering properties of object-oriented languages. (Position paper.) Luca Cardelli.
  • A theory of objects. (Book.) [Info] Martín Abadi and Luca Cardelli.
    • Springer, 1996.
  • An interpretation of objects and object types. Martín Abadi, Luca Cardelli, Ramesh Viswanathan.
    • ©1996 PDF PostScript Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, 21-24 January 1996. ACM Press, New York, 1996, ISBN 0-89791-769-3. pp 396-409.
  • On subtyping and matching. Martín Abadi and Luca Cardelli.
    • ©1996 PDF ACM Transactions on Programming Languages and Systems, 18(4):401-423, 1996. [US.pdf]
    • Preliminary version. Walter G. Olthoff (Ed.): ECOOP'95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings. Lecture Notes in Computer Science, Vol. 952, Springer, 1995, ISBN 3-540-60160-0. pp 145-167. [@Springer]
  • A theory of primitive objects: Untyped and first-order systems. Martín Abadi and Luca Cardelli.
    • ©1996 PDF Information and Computation, 125(2):78-102, March 1996. [US.pdf]
    • Preliminary version. Masami Hagiya, John C. Mitchell (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science, Vol. 789, Springer, 1994, ISBN 3-540-57887-0. pp 296-320. [@Springer]
    1995
  • On binary methods. Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, Benjamin Pierce.
  • An imperative object calculus. Martín Abadi and Luca Cardelli.
    • ©1995 PostScript Theory and Practice of Object Systems, 1(3):151-166, 1995.
    • Preliminary version. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995. Lecture Notes in Computer Science, Vol. 915, Springer, 1995, ISBN 3-540-59293-8. pp 471-485. [@Springer]
  • An imperative object calculus: Basic typing and soundness. Martín Abadi and Luca Cardelli.
    • ©1995 PDF SIPL '95 - Proceedings of the Second ACM SIGPLAN Workshop on State in Programming Languages. Technical Report UIUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995. [US.pdf]
  • A theory of primitive objects: Second-order systems. Martín Abadi and Luca Cardelli.
    • ©1995 PDF Science of Computer Programming, 25(2-3):81-116. December 1995. [US.pdf]
    • Preliminary version. Donald Sannella (Ed.): Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Lecture Notes in Computer Science, Vol. 788, Springer 1994, ISBN 3-540-57880-3. pp 1-25. [@Springer]
    1994
  • A semantics of object types. Martín Abadi and Luca Cardelli.
    • ©1994 PDF Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press, ISBN 0-8186-6310-3. pp 332-341. [US.pdf]
Types and Semantics
    2007
  • Computation Meaning and Logic: Articles dedicated to Gordon Plotkin. Luca Cardelli, Marcelo Fiore, Glynn Winskel (Eds.).
    • ©2007 ENTCS Electronic Notes in Theoretical Computer Science, Vol 172, 2007.
    2005
  • Secrecy and Group Creation. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon.
    • ©2005 PDF Information and Computation. Volume 196, Issue 2, 29 January 2005, Pages 127-155. [@ScienceDirect]
    • ©2000 PostScript Full Version.
    • ©2000 PostScript Catuscia Palamidessi (Ed.). CONCUR 2000 - Concurrency Theory. 11th International Conference, University Park, PA, USA, August 2000, Proceedings. Lecture Notes in Computer Science, Vol. 1877, Springer, 2000. ISBN 3-540-67897-2. pp. 365-379.
    • ©2002 Abstract of Presentation. Ted Hurley , Mchel Mac an Airchinnigh , Michel Schellekens and Anthony SedaElectronic (Guest Editors). The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000)
      Cork, Ireland, 20th and 21st July, 2000. Electronic Notes in Theoretical Computer Science, Vol 40. Elsevier Science, 2002. [@Elsevier]
    2004
  • Type systems. Luca Cardelli.
    • ©2004 PDF Allen B. Tucker (Ed.): The Computer Science and Engineering Handbook. CRC Press, 2004. Chapter 97.
    • ©1997 PDF Allen B. Tucker (Ed.): The Computer Science and Engineering Handbook. CRC Press, 1997, ISBN: 0-8493-2909-4. Chapter 103, pp 2208-2236. [US.pdf]
    • ©1996 PDF Summary. ACM Computing Surveys, 28(1):263-264, 1996. [html] [US.pdf] [@ACM]
    1998
  • POPL'98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (Proceedings) Luca Cardelli (Ed.).
    • ©1998 The Association for Computing Machinery, 1998. ACM ISBN 0-89791-979-3.
    1997
  • Program fragments, linking, and modularization. Luca Cardelli.
    • ©1997 PDF Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997. ACM Press, New York, 1997, ISBN 0-89791-853-3. pp 266-277. [US.pdf]
    • ©1997 PDF SRC Research Report 144, Digital Equipment Corporation Systems Research Center. February 15, 1997. [@SRC]
    1995
  • Dynamic typing in polymorphic languages. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Didier Rémy.
    •  [Cartoon]
    • ©1995PDF PostScript (Same as SRC report) Journal of Functional Programming, 5(1):111-130, January 1995.
    • ©1994PDF PostScript SRC Research Report 120, Digital Equipment Corporation Systems Research Center. January 26, 1994. [@SRC]
    • ©1992PDF PostScript Preliminary version. Proceedings of the ACM SigPlan Workshop on ML and its Applications, June 1992.
    1994
  • Subtyping and parametricity. Gordon D. Plotkin, Martín Abadi, and Luca Cardelli.
    • ©1994 PostScript PDF Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press, ISBN 0-8186-6310-3. pp 310-319. [A4.ps]
  • Extensible records in a pure calculus of subtyping. Luca Cardelli.
    • ©1994 PDF C.A. Gunter and J.C. Mitchell, Editors. Theoretical Aspects of Object-Oriented Programming. MIT Press, 1994. pp 373-425. [US.pdf]
    • ©1992 PDF SRC Research Report 81, Digital Equipment Corporation Systems Research Center, January 3, 1992. [@SRC]
  • An extension of system F with subtyping. Luca Cardelli, John C. Mitchell, Simone Martini, and Andre Scedrov.
    • [Cartoon]
    • ©1994 PDF Information and Computation, 109(1/2):4-56, February 1994. [US.pdf]
    • ©1991 PDF Takayasu Ito, Albert R. Meyer (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Lecture Notes in Computer Science, Vol. 526, Springer, 1991, ISBN 3-540-54415-1. pp 750-770. [@Springer]
    • ©1991,1993 PDF SRC Research Report 80, Digital Equipment Corporation Systems Research Center. December 30, 1991. Revised January 1, 1993 [@SRC]
    1993
  • Formal parametric polymorphism. Martín Abadi, Luca Cardelli, and Pierre-Louis Curien.
    • ©1993 PDF Theoretical Computer Science, 121(1-2):9-58: A Collection of Contributions in Honour of Corrado Boehm on the Occasion of his 70th Birthday, December 1993. [US.pdf]
    • ©1993 PDF Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993. pp 157-170.
    • ©1993 PDF SRC Research Report 109, Digital Equipment Corporation Systems Research Center. July 15, 1993. [@SRC]
  • An implementation of F<:. Luca Cardelli.
    • ©1997 PDF 1997 Revised Version.
    • ©1993 PDF SRC Research Report 97, Digital Equipment Corporation Systems Research Center, February 23, 1993. [@SRC]
  • Subtyping recursive types. Roberto M. Amadio and Luca Cardelli.
    • [Cartoon]
    • ©1993 PDF ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993. [US.pdf]
    • ©1991 PDF Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, January 1991. pp 104-118.
    • ©1990 PDF SRC Research Report 62, Digital Equipment Corporation Systems Research Center. August 14, 1990. [@SRC]
    1991
  • A pure calculus of subtyping, and applications (outline). Luca Cardelli.
    • ©1991 PDF Paris C. Kanellakis, Joachim W. Schmidt (Eds.): Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings. Morgan Kaufmann, San Mateo, CA, ISBN 1-55860-242-9. pp 185-187.
  • A semantic basis for Quest. Luca Cardelli and Giuseppe Longo.
    • [Cartoon]
    • ©1991 PDF Journal of Functional Programming, 1(4):417-458, October 1991. [US.pdf]
    • ©1990 PDF Proceedings of ACM Conference on LISP and Functional Programming (1990).
    • ©1990 PDF PDF SRC Research Report 55, Digital Equipment Corporation Systems Research Center. February 14, 1990. [@SRC]
  • Explicit substitutions. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, and Jean-Jacques Lévy.
    • [Cartoon]
    • ©1991 PDF PostScript Journal of Functional Programming, 1(4):375-416, October 1991.
    • ©1990 PDF SRC Research Report 54, Digital Equipment Corporation Systems Research Center. February 6, 1990. [@SRC]
    • ©1990 PDF Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1990. pp 31-46.
  • Dynamic typing in a statically-typed language. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon D. Plotkin.
    • [Cartoon]
    • ©1991 PostScript ACM Transactions on Programming Languages and Systems, 13(2):237-268, April 1991.
    • Preliminary version. Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 213-227.
    • ©1989 PostScript SRC Research Report 47, Digital Equipment Corporation Systems Research Center. June 10, 1989. [@SRC]
    1990
  • Abstract types and the dot notation. Luca Cardelli and Xavier Leroy.
    • [Cartoon]
    • ©1990 PDF Programming Concepts and Methods, IFIP State of the Art Reports. (TC2 Working Conference, Sea of Galilee, Israel, April 2-5 1990.) North Holland, 1990. pp 479-504.
    • ©1990 PDF SRC Research Report 56, Digital Equipment Corporation Systems Research Center. March 10, 1990. [@SRC]
  • Operations on records. Luca Cardelli and John C. Mitchell.
    • [Cartoon]
    • ©1994 PDF Reprint. In Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994. [US.pdf]
    • Mathematical Structures in Computer Science, 1(1):3-48, March 1991.
    • ©1990 PDF In Mathematical Foundations of Programming Semantics, 5th International Conference Proceedings,Tulane University, March/April 1989, Lecture Notes in Computer Science, Vol. 442, Springer, 1990.
    • ©1989 PDF SRC Research Report 48, Digital Equipment Corporation Systems Research Center. August 25, 1989. [@SRC]
    1988
  • Types for data-oriented languages. Luca Cardelli.
    • ©1988 PDF PDF Joachim W. Schmidt, Stefano Ceri, Michele Missikoff (Eds.): Advances in Database Technology - EDBT'88. Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988. Lecture Notes in Computer Science, Vol. 303, Springer, 1988, ISBN 3-540-19074-0 and 0-387-19074-0. pp 1-15. [@Springer] [US.pdf]
  • Structural subtyping and the notion of power type. Luca Cardelli.
    • ©1988 PDF Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, January 1988. pp 70-79. [US.pdf]
  • Phase Distinctions in Type Theory. Luca Cardelli.
  • Persistence and Type Abstraction. Luca Cardelli, David B. MacQueen.
    • ©1988 PDF Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Springer 1988, Topics in Information Systems, ISBN 3-540-18785-5. pp 31-41.
    • ©1985 PDF JPG Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Persistence and Data Types, Papers for the Appin Workshop. Appin, Scotland, August 1985. University of Galsgow and University of St Andrews, Persistent Programming Research Report 16. 1985. pp 231-240.
  • A semantics of multiple inheritance. Luca Cardelli.
    • Reprint. Stanley B. Zdonik and David Maier, Readings in Object Oriented Database Systems, Morgan Kaufmann Publishers Inc. 1990. ISBN 1-55860-000-0. pp 59-83.
    • ©1988 PDF Information and Computation, 76(2/3): 138-164, February 1988. [US.pdf]
    • ©1984 PDF PDF G. Kahn, D.B. MacQueen and G. Plotkin Eds. Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 1984, Proceedings. Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, 1984, ISBN 3-540-13346-1. pp 51-67. [@Springer]
    • PDF Draft: "Computing with Taxonomies".
    1987
  • Basic polymorphic typechecking. Luca Cardelli. 
    • ©1987 PDF Science of Computer Programming, 8(2): 147-172, 1987. [US.pdf]
    • Reprint. Polymorphism, The ML/LCF/Hope Newsletter, Vol II, Number 1, January 1985.
    • Technical Report TR-112, AT&T Bell Laboratories, September 1984.
    • Technical Memorandum TM 11271-840705-07, AT&T Bell Laboratories, July 1984.
    1986
  • Typechecking dependent types and subtypes. Luca Cardelli.
    • ©1986 PDF PDF In Proceedings of the Workshop on Foundations of Logic and Functional Programming, Lecture Notes in Computer Science, Vol. 306, pp 45-57. Springer-Verlag, December 1986. [@Springer]
  • A polymorphic lambda-calculus with Type:Type. Luca Cardelli.
    1985
  • On understanding types, data abstraction, and polymorphism. Luca Cardelli and Peter Wegner.
    1978
  • Una teoria dei linguaggi applicativi. Luca Cardelli.
    • ©1978 PDF "Tesi di Laurea" Abstract in English, University of Pisa, July 1978.
    • ©1978 PDF "Tesi di Laurea", University of Pisa, July 1978.
Language Design and Implementation
    2004
  • Modern Concurrency Abstractions for C#. Nick Benton, Luca Cardelli, Cedric Fournet.
    • ©2004 PDF ACM Transactions on Programming Languages and Systems (TOPLAS) 26(5), September 2004. pp.269-804.
    • ©2002 PDF Boris Magnusson, Editor: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14 2002, Proceedings. Lecture Notes in Computer Science 2374, Springer, 2002. ISBN 3-540-43759-2. pp. 415-440.
    • ©2001 PostScript FOOL9.
    1999
  • Principles and a Preliminary Design for ML2000. The ML2000 Working Group.
    • ©1999 PostScript Draft. 1999.
  • Internet Programming Languages. Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, Editors.
  • Service Combinators for Web Computing. Luca Cardelli and Rowan Davies.
    • ©1999PDF PostScript IEEE Transactions on Software Engineering, Vol 25, No 3, May-June 1999. pp 309-316.
    • Preliminary version. Proc. of the First Usenix Conference on Domain Specific Languages, Santa Barbara, California, October 15-17, 1997.
    • ©1997 PDF SRC Research Report 148, Digital Equipment Corporation Systems Research Center. June 1, 1997. [@SRC]
    1997
  • Mobile Ambient Synchronization. Luca Cardelli.
  • Mobile Computation. Luca Cardelli.  
    • ©1997 PDF Book Intro. J. Vitek and C. Tschudin Editors. Mobile Object Systems - Towards the Programmable Internet. Lecture Notes in Computer Science, Vol. 1222, Springer, 1997. pp 3-6. [@Springer] [html] [US.pdf]
  • Migratory Applications. Krishna Bharat and Luca Cardelli.  
    • ©1997 PDF J. Vitek and C. Tschudin Editors. Mobile Object Systems - Towards the Programmable Internet. Lecture Notes in Computer Science, Vol. 1222, Springer, 1997. pp 131-148. [@Springer] [US.pdf]
    • ©1996 PDF SRC Research Report 138, Digital Equipment Corporation Systems Research Center. February 15, 1996. [@SRC]
    • Preliminary version. ACM Symposium on User Interface Software and Technology '95, Pittsburgh, PA, November 1995. pp 133-142.
    • ©1995 JPG WMV Videotape Demo, prepared for User Interface Software and Technology '95.
    1996
  • Global computation. (Position paper.) Luca Cardelli.
    1995
  • Distributed applications in a multimedia setting. Krishna Bharat and Luca Cardelli.
    • ©1995 PDF Proceedings of the First International Workshop on Hypermedia Design (IWHD'95), Montpellier, France, 1-2 June 1995. pp 185-192. [US.pdf]
  • A language with distributed scope. Luca Cardelli.
    • ©1995 PDF Computing Systems, 8(1):27-59, January 1995. [US.pdf]
    • ©1995 PDF Preliminary version. Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, January 23-25, 1995. ACM Press, New York, 1995, ISBN 0-89791-692-1. pp 286-297.
  • Mobile Computation (Position Paper). Luca Cardelli.
    • ©1995 PDF Stanford Workshop.
    1994
  • Obliq: A language with distributed scope. Luca Cardelli.
  • Extensible syntax with lexical scoping. Luca Cardelli, Florian Matthes, and Martín Abadi.
    • ©1994 PostScript SRC Research Report 121, Digital Equipment Corporation Systems Research Center, February 21, 1994. [@SRC]
  • Extensible grammars for language specialization. Luca Cardelli, Florian Matthes, and Martín Abadi.
    • ©1994 PDF Catriel Beeri, Atsushi Ohori, Dennis Shasha(Eds.): Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19853-9. pp 11-31.
    1991
  • [Modula-3] Language definition. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
    • Greg Nelson, Ed., System Programming with Modula-3. Prentice Hall, ISBN 0-13-590464-1.1991. Chapter 2, pp 11-66.
    1989
  • Modula-3 report (revised). Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
    • ©1989 PDF SRC Research Report 52, Digital Equipment Corporation Systems Research Center, November 1, 1989. [@SRC] (This report has been superseded by the Modula-3 book.).
  • Typeful programming. Luca Cardelli.
    • [Cartoon]
    • ©1989 PDF E. J. Neuhold and M. Paul, Editors. Formal Description of Programming Concepts, IFIP State of the Art Reports Series. Springer-Verlag, February 1989. [US.pdf]
    • ©1989 PDF SRC Research Report 45, Digital Equipment Corporation Systems Research Center. May 24, 1989. [@SRC]
  • The Modula-3 Type System. Luca Cardelli, James Donahue, Mick Jordan, Bill Kalsow, and Greg Nelson. 
    • ©1989 PDF Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 202-212. [US.pdf]
    1988
  • Modula-3 report. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
    • SRC Research Report 31, Digital Equipment Corporation Systems Research Center, August 24, 1988. (This report has been superseded by SRC Research Report 52, and then by the Modula-3 book.).
    1986
  • Amber. Luca Cardelli.
    • ©1986 PDF PDF In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, Lecture Notes in Computer Science, Vol. 242, pp 21-70. Springer-Verlag, 1986. [@Springer] [US.pdf]
    • Technical Memorandum TM-11271-841024-10, AT&T Bell Laboratories, September 1984.
  • The amber machine. Luca Cardelli.
    • ©1986 PDF PDF In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, Lecture Notes in Computer Science, Vol. 242, pp 21-70. Springer-Verlag, 1986. [@Springer] [US.pdf]
    • Technical Report TR-119, AT&T Bell Laboratories, June 1985.
    • Technical Memorandum TM-11271-840924-10, AT&T Bell Laboratories, September 1984.
    1985
  • Squeak: a language for communicating with mice. Luca Cardelli and Rob Pike.
    • ©1985 PDF Proc. Twelfth ACM Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH), 1985.
  • Galileo: a strongly typed, interactive, conceptual language. Antonio Albano, Luca Cardelli, and Renzo Orsini.
    • ©1985 PDF ACM Transactions on Database Systems (TODS), 10(2):230-260, 1985.
  • An implementation model of rendezvous communication. Luca Cardelli.
    • ©1985 PDFPDF S.D. Brookes, A.W. Roscoe and G. Winskel. Seminar on Concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 1984. Lecture Notes in Computer Science, Vol. 197, Springer-Verlag, 1985, ISBN 3-540-15670-4. pp 449-457. [@Springer] [US.pdf]
    • Technical Memorandum TM-11271-841101-13, AT&T Bell Laboratories, 1984.
    1984
  • Compiling a functional language. Luca Cardelli.
    1983
  • Stream Input/Output. Luca Cardelli.
    • ©1983 PDF Polymorphism, The ML/LCF/Hope Newsletters, Vol I, Number 3, December 1983.
  • ML under Unix. Luca Cardelli.
    • ©1982 PDF PDF PDF ML under VMS manual, Edinburgh, 1982.
    • ©1983 PDF Pre-Standard ML under Unix, August 1983.
    • ©1983 Pose 3, November 1983. See: Polymorphism, The ML/LCF/Hope Newsletters, Vol I, Number 3, December 1983.
    • ©1984 PDF PDF Pose 4, April 1984.
  • The Functional Abstract Machine. Luca Cardelli.
    • Reprint. Polymorphism, the ML/LCF/Hope Newsletter, Vol I, Number 1, 1983.
    • ©1983 PDF Technical Report TR-107, AT&T Bell Laboratories, April 1983.
    • Technical Memorandum TM-83-11271-1, Bell Laboratories, March 10, 1983.
    1982
  • Polymorphism - The ML/LCF/Hope Newsletter. Luca Cardelli, David MacQueen (Eds.)
    • ©1982-1985 I.0 PDF, I.1 PDF, I.2 PDF, I.3 PDF, II.1 PDF, II.2 PDF.
  • Two-dimensional syntax for functional languages. Luca Cardelli.
    • ©1982 PDF Pierpaolo Degano and Erik Sandewall, editors, Integrated Interactive Computing Systems. Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Strresa, Italy, 1-3 September, 1982. North Holland, ISBN 0-444-86595-0, 1983. pp 139-151.
  • An Algebaic Approach to Hardware Description and Verification. Luca Cardelli.
    • ©1982 PDF PhD Thesis, University of Edinburgh, Department of Computer Science, April 1, 1982.
  • An algebraic approach to VLSI design. Luca Cardelli and Gordon D. Plotkin.
    • ©1981 PDF John P. Gray Editor, VLSI 81, Very Large Scale Integration, Proceedings of the first International Conference on Very Large Scale Integration, University of Edinburgh, August 18-21, 1981. Academic Press, ISBN 0-12-296860-3. pp 173-182.
  • Sticks&PDFStones: An Applicative VLSI Design Language. Luca Cardelli.
    • ©1981 PDFInternal Report CSR-85-81, University of Edinburgh, Department of Computer Science, July 1981.
  • Multiprocessing implementation of a high-level machine language. Luca Cardelli, Gianfranco Prini, and Marco Vanneschi.
    • ©1978 PDF Rivista di Informatica, Vol VIII, n. 4, October-December 1978.
User Interfaces
    1988
  • Building user interfaces by direct manipulation. Luca Cardelli.
    • ©1988 PDF Proceedings of the ACM SIGGRAPH Symposium on User Interface Software, Banff, Alberta, Canada, October 17-19, 1988. ACM Press, ISBN 0-89791-283-7. pp 152-166.
    • ©1987 PDF SRC Research Report 22, Digital Equipment Corporation Systems Research Center, October 2, 1987. [@SRC]
    • ©1987  JPG WMV Videotape Demo, Digital Equipment Corporation Systems Research Center, July, 1987.
    1985
  • Crabs: the bitmap terror. Luca Cardelli.
    • ©1985 PDF Technical Memorandum TM 11271-850701-10, AT&T Bell Laboratories. 1985.
    • PDF History and Screen Dumps.
    • Also featured in: A.K.Dewdney. At Bell Labs work is play and terminal diseases are benign. Computer Recreations, Scientific American, Sept. 1985, 18-24.

Other bibliographies for my papers.
See the DBPL bibliography server, and The Collection of Computer Science Bibliographies and CiteSeer where you can find bibtex entries.

Legend.
".US" = file for USLetter paper; ".A4" = file for A4 paper; ".ps" = postscript file; ".pdf" = Adobe Acrobat file; ".Z", ".gz", ".zip" = compressed (deprecated); "@..." official version at publisher's site.
Unpublished Notes
  • Genetic Networks in BioSpi. L.Cardelli (2004) [A4.pdf]
    • Coding genetic gates in Stochastic pi-Calculus.
  • A Commitment Relation for the Ambient Calculus. L.Cardelli, Andrew D. Gordon (2000) [A4.pdf]
    • A labeled-transition version of the Ambient Calculus semantics.
  • Mobile Ambient Synchronization. L.Cardelli (1997) [US.pdf] [A4.pdf]
    • The Ambit algorithm for shared-memory synchronization.
  • Subtyping Recursive Types Algorithm. L.Cardelli (1984-1993) [.txt]
    • The Amber algorithm for subtyping recursive types, simplified and coded in Modula-3.
  • Types for the Scott Numerals. M.Abadi, L.Cardelli, G.Plotkin (1993) [US.ps] [US.pdf]
    • Using recursive types and universal quatifiers to type the Scott Numerals.
  • Methods in Structures. L.Cardelli (1993) [US.ps] [US.pdf]
    • How to add methods to the Harper-Lillibridge translucent structures.
  • The Quest Language and System. L.Cardelli (1991)) [US.ps] [US.pdf]
    • The Quest manual.
  • Notes on FOmegaSub. L.Cardelli (1990) [US.ps] [US.pdf]
    • A formalization of a higher-order system with subtyping. It treats PowerKinds, pointwise subtyping of operators, and monotonic and antimonotonic operators. A proof that the pairing operator is monotonic is included.
    • Slides version (1991): [pdf]
    • Reformatted version (1994): [US.ps] [US.pdf]