2 Search Results for "Coppola, Paolo"

Document
DOI: 10.4230/LIPIcs.TYPES.2021.5
Principal Types as Lambda Nets

Authors: Pietro Di Gianantonio and Marina Lenisa

Published in: LIPIcs, Volume 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021)

Abstract
We show that there are connections between principal type schemata, cut-free λ-nets, and normal forms of the λ-calculus, and hence there are correspondences between the normalisation algorithms of the above structures, i.e. unification of principal types, cut-elimination of λ-nets, and normalisation of λ-terms. Once the above correspondences have been established, properties of the typing system, such as typability, subject reduction, and inhabitation, can be derived from properties of λ-nets, and vice-versa. We illustrate the above pattern on a specific type assignment system, we study principal types for this system, and we show that they correspond to λ-nets with a non-standard notion of cut-elimination. Properties of the type system are then derived from results on λ-nets.
Cite as

Pietro Di Gianantonio and Marina Lenisa. Principal Types as Lambda Nets. In 27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 239, pp. 5:1-5:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{digianantonio_et_al:LIPIcs.TYPES.2021.5,
  author =	{Di Gianantonio, Pietro and Lenisa, Marina},
  title =	{{Principal Types as Lambda Nets}},
  booktitle =	{27th International Conference on Types for Proofs and Programs (TYPES 2021)},
  pages =	{5:1--5:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-254-9},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{239},
  editor =	{Basold, Henning and Cockx, Jesper and Ghilezan, Silvia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2021.5},
  URN =		{urn:nbn:de:0030-drops-167744},
  doi =		{10.4230/LIPIcs.TYPES.2021.5},
  annote =	{Keywords: Lambda calculus, Principal types, Linear logic, Lambda nets, Normalization, Cut elimination}
}
Document
DOI: 10.4230/DagSemProc.09101.3
Context Aware Browser

Authors: Stefano Mizzaro, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Elena Nazzi, Ivan Scagnetto, and Luca Vassena

Published in: Dagstuhl Seminar Proceedings, Volume 9101, Interactive Information Retrieval (2009)

Abstract
I will present the Context Aware Browser, a novel paradigm for context-aware access to Web contents with mobile devices. The idea is to allow automatic download of Web pages, and even automatic execution of Web applications, on user's own mobile device. The Web resources are not simply pushed on the mobile device; rather, they are selected on the basis of the context the user is in: context data (mainly location, but not only) are used to build a query sent to an external search engine, that selects the most relevant Web content. I will describe the idea, provide some examples, show a video of a recently built prototype, present implementation issues, discuss our specific evaluation methodology and the results, and sketch future work and problems. This is an ongoing project, started about five years ago; it is joint work with the Context Aware and Mobile Systems laboratory (smdc.uniud.it) and the MoBe spinoff (www.mobe.it) at Udine University.
Cite as

Stefano Mizzaro, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Elena Nazzi, Ivan Scagnetto, and Luca Vassena. Context Aware Browser. In Interactive Information Retrieval. Dagstuhl Seminar Proceedings, Volume 9101, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{mizzaro_et_al:DagSemProc.09101.3,
  author =	{Mizzaro, Stefano and Coppola, Paolo and Della Mea, Vincenzo and Di Gaspero, Luca and Mischis, Danny and Nazzi, Elena and Scagnetto, Ivan and Vassena, Luca},
  title =	{{Context Aware Browser}},
  booktitle =	{Interactive Information Retrieval},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9101},
  editor =	{Nicholas J. Belkin and Norbert Fuhr and Joemon Jose and C. J. Keith van Rijsbergen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09101.3},
  URN =		{urn:nbn:de:0030-drops-21515},
  doi =		{10.4230/DagSemProc.09101.3},
  annote =	{Keywords: Context-aware, information retrieval, mobile devices}
}
  • Refine by Author
  • 1 Coppola, Paolo
  • 1 Della Mea, Vincenzo
  • 1 Di Gaspero, Luca
  • 1 Di Gianantonio, Pietro
  • 1 Lenisa, Marina
  • Show More...

  • Refine by Classification
  • 1 Theory of computation → Lambda calculus
  • 1 Theory of computation → Linear logic
  • 1 Theory of computation → Type structures

  • Refine by Keyword
  • 1 Context-aware
  • 1 Cut elimination
  • 1 Lambda calculus
  • 1 Lambda nets
  • 1 Linear logic
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2009
  • 1 2022

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact