Items where Author / Artist / Editor is "Lutz, Bianca"
![]() | See full list of headings |
Article
Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Lutz, Bianca
(2012)
ASPfun: a typed functional active object calculus.
Science of Computer Programming, 77
(7-8)
.
pp. 823-847.
ISSN 0167-6423
[Article]
(doi:10.1016/j.scico.2010.12.008)
Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry
(2010)
Locally nameless sigma calculus.
Archive of Formal Proof
.
ISSN 2150-914X
[Article]
Conference or Workshop Item
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Lutz, Bianca
(2020)
Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework.
Garcia-Alfaro, Joaquin, Navarro-Arribas, Guillermo and Herrera-Joancomarti, Jordi, eds.
Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2020 International Workshops, DPM 2020 and CBT 2020, Guildford, UK, September 17–18, 2020, Revised Selected Papers.
In: International Workshop of Data Privacy Management, DPM'20, 17-18 Sep 2020, University of Surrey, UK.
pbk-ISBN 9783030661717, e-ISBN 9783030661724.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-030-66172-4_8)
Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry
(2010)
A locally nameless theory of objects.
In: SAFA Annual Workshop on Formal Techniques (SAFA’2010), October 6th and 7th, 2010, 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, France.
.
[Conference or Workshop Item]