1
0
0
(1 - 38 from 57
)
LICS
www.lfcs.inf.ed.ac.uk
Paper: Discrimination by Parallel Observers (at LICS 1997) Authors: Mariangiola Dezani-Ciancaglini Jerzy Tiuryn Pawel Urzyczyn Abstract
Programme | PLACES 15
places15.by.di.fc.ul.pt
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida Coffee break. Session 2 (Chair: Simon Gay).
Felice Cardone, Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro,...
philpapers.org
We present a type inference system for pure λ-calculus which includes, in addition to arrow types, also universal and existential type quantifiers,...
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan & Betti Venneri, The...
philpapers.org
The aim of this paper is to investigate a Curry-Howard interpretation of the intersection and union type inference system for Combinatory Logic. Types are...
Researchgate: Mariangiola Dezani-ciancaglini
Turin, Piedmont, Italy
Behavioural Types Workshop
www.dcs.gla.ac.uk
Relating Global Types and Multi-Party Sessions Mariangiola Dezani-Ciancaglini, University of Torino, Italy (Joint work with Giuseppe Castagna and Luca Padovani)
Mariangiola Dezani-Ciancaglini - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Mariangiola Dezani-Ciancaglini has 6 students and 13 descendants. We welcome any additional information.
Computer Science Logic: 15th International Workshop, CSL th...
books.google.de
Henk Barendregt, Mario Coppo, and Mariangiola Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. J. Symbolic Logic ...
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World...
books.google.de
DYNAMIC AND LOCAL TYPING FOR MOBILE AMBIENTS Mario Coppo1*‚ Mariangiola Dezani-Ciancaglini1†‚ Elio Giovannetti1‡‚ and Rosario Pugliese2§ ...
Mathematical Foundations of Computer Science 2004: 29th International...
books.google.de
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Rosario Pugliese. Dynamic and Local Typing for Mobile Ambients. In TCS'04, to ...
Types for Proofs and Programs: Second International Workshop, TYPES...
books.google.de
Mario Coppo, Mariangiola Dezani-Ciancaglini, Furio Honsell, and Giuseppe Longo. Extended type structures and filter lambda models. In G.Lolli, G.Longo, and ...
Secure Multiparty Sessions with Topics
arxiv.org
Authors: Ilaria Castellani (INRIA Sophia Antipolis, France), Mariangiola Dezani-Ciancaglini (Università di Torino, Italia), Ugo de'Liguoro ...
CiteSeerX — Discrimination by Parallel Observers
citeseerx.ist.psu.edu
@MISC{Dezani-Ciancaglini02discriminationby, author = {Mariangiola Dezani-Ciancaglini and Jerzy Tiuryn and Pawe L Urzyczyn}, title = {Discrimination by ...
EPTCS 177: Intersection Types and Related Systems
arxiv.org
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi, 53. Lucretia -intersection type polymorphism for scripting ...
dblp: Mariangiola Dezani-Ciancaglini
dblp.uni-trier.de
List of computer science publications by Mariangiola Dezani-Ciancaglini
CONCUR 2017
www.concur2017.tu-berlin.de
Concurrent Reversible Sessions Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini. We present a calculus for concurrent reversible multiparty ...
Google Groups: Fwd: [TYPES/announce] 3 year PhD position in Computer Science ...
: Mariangiola Dezani-Ciancaglini Dipartimento di Informatica Universita
Google Groups: AAL' conference announcement and call for papers
: Invited speaker: Professor Mariangiola Dezani-Ciancaglini (University of
Google Groups: Express'05 Second CFP
: Ca' Foscari, IT) Mariangiola Dezani-Ciancaglini (Univ. di Torino
Wikipedia: European Association for Theoretical Computer Science - Wikipedia
The European Association for Theoretical Computer Science (EATCS) is an international ... Mariangiola Dezani-Ciancaglini, Herbert Edelsbrunner,
Mariangiola Dezani-Ciancaglini - Google Scholar
scholar.google.com
Emeritus Professor of Computer Science, Torino University - Cited by - Theoretical Computer Science
Mariangiola Dezani-Ciancaglini - اقتباسات الباحث العلمي من Google
scholar.google.ae
Mariangiola Dezani-Ciancaglini. Professor of Computer Science, Torino University. Theoretical Computer Science. بريد إلكتروني تم التحقق منه على di.unito.it ...
Mariangiola Dezani-Ciancaglini - Trích dẫn của Google Scholar
scholar.google.ca
Lorenzo BettiniResearcher of Computer Science, Dipartimento di Informatica, Università di TorinoEmail được xác minh tại di.unito.it. Jovanka PantovicUniversity ...
calculus Mariangiola Dezani-ciancaglini and Ugo Semantic Scholar
www.semanticscholar.org
(b) An in nite reduction path out of ( x:x( y:xy))(P +Q). - "A Filter Model for Concurrent -calculus Mariangiola Dezani-ciancaglini and Ugo De'liguoro Dipartimento ...
DisCoTec07 - FMOODS
liacs.leidenuniv.nl
9: :30. INVITED SPEAKER FMOODS (Chair: Martin Steffen) Mariangiola Dezani-Ciancaglini Asynchronous Session Types and Progress for Object Oriented Languages
2017 Publications | HyVar
www.hyvar-project.eu
DOI: LMCS-13(2:9)2017 Open access; Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida. On the Preciseness of ...
On Re-classification and Multi …
www.jot.fm
On Re-classification and Multi-threading. Ferruccio Damiani, Dip. di Informatica, Univ. di Torino, Italy Mariangiola Dezani-Ciancaglini, Dip. di Informatica, Univ ...
Bibliography for Intersection Types and Related Systems
www.macs.hw.ac.uk
[21]: Alessandro Berarducci and Mariangiola Dezani-Ciancaglini. Infinite lambda -calculus and types. Theoret. Comput. Sci. , 212(1-2):29-75, ...
A filter lambda model and the completeness of type assignment1 | The...
www.cambridge.org
A filter lambda model and the completeness of type assignment1 - Volume 48 Issue 4 - Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini
www.cs.ru.nl
www.cs.ru.nl
Intersection and Reference Types. Mariangiola Dezani-Ciancaglini Dipartimento di Informatica, Università di Torino. Simona Ronchi della Rocca Dipartimento di ...
Isomorphism of intersection and union types † | Mathematical ...
www.cambridge.org
Isomorphism of intersection and union types † - Volume 27 Issue 5 - MARIO COPPO, MARIANGIOLA DEZANI-CIANCAGLINI, INES MARGARIA ...
J. Roger Hindley, Homepage
www.users.waitrose.com
(Co-author Mariangiola Dezani-Ciancaglini) Intersection types for combinatory logic, Theoretical Computer Science 100 (1992), ( MathSciNet ...
LICS - Archive
lics.siglog.org
... Harish Devarajan; Benet Devereux; Hervé Devie; Mariangiola Dezani-Ciancaglini; Roberto Di Cosmo; David L. Dill; Catalin Dima; Thomas Dinsdale-Young ...
Logical Methods in Computer Science - Survey Articles
lmcs.episciences.org
On Global Types and Multi-Party Session Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Luca Padovani. Semantics of Typed Lambda-Calculus with ...
Daniele Varacca: Works
www.lacl.fr
Paper: [pdf]. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic and Daniele Varacca Security Types for Dynamic Web Data
Silvia Ghilezan | Main / Publications
imft.ftn.uns.ac.rs
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida: Denotational and Operational Preciseness of Subtyping: ...
I. Castellani: main publications
www-sop.inria.fr
Typing Access Control and Secure Information Flow in Sessions, Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini.
wg2bibtex [Behavioural Types]
www.operationalsemantics.net
author = {Mariangiola Dezani-Ciancaglini and Ross Horne and Vladimiro Sassone}, title = {Tracing where and who provenance in Linked Data: ...
All web results to the name "Mariangiola Dezani"
Related search requests for Mariangiola Dezani
Silvia Ghilezan Ilaria Castellani Mario Coppo | Simona Ronchi Henk Barendregt Adolfo Piperno | Sara Capecchi Giuseppe Castagna Vladimiro Sassone |
People Forename "Mariangiola" (4) Name "Dezani" (6) |
sorted by relevance / date