Ivan Scagnetto

J. Assoc. Inf. Sci. Technol., 2019

Mobile Information Retrieval.

[BibT_eX]

[DOI]

Fabio Crestani

CoRR, 2019

lambda!-calculus, Intersection Types, and Involutions.

[BibT_eX]

[DOI]

Pietro Di Gianantonio

Marina Lenisa

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Plugging-in proof development environments using Locks in LF.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

Linear lambda-calculus and Reversible Automatic Combinators.

[BibT_eX]

[DOI]

CoRR, 2018

The involutions-as-principal types/application-as-unification Analogy.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

The Delta-Framework.

[BibT_eX]

[DOI]

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

Mobile Information Retrieval

[BibT_eX]

[DOI]

Fabio Crestani

Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-60776-4, 2017

LLF<sub>𝒫</sub>: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

2016

An open logical framework.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), 2016

Implementing Cantor's Paradise.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Mechanizing type environments in weak HOAS.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

Finding Important Locations: A Feature-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Mobile Data Management, 2015

Content-Based Similarity of Twitter Users.

[BibT_eX]

[DOI]

Marco Pavan

Proceedings of the Advances in Information Retrieval, 2015

2014

Short text categorization exploiting contextual enrichment and external knowledge.

[BibT_eX]

[DOI]

Proceedings of the SoMeRA'14, 2014

L ax F: Side Conditions and External Evidence as Monads.

[BibT_eX]

[DOI]

Luigi Liquori

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Internal Adequacy of Bookkeeping in Coq.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

A context-aware retrieval system for mobile applications.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Context-Awareness in Retrieval and Recommendation, 2014

Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach.

[BibT_eX]

[DOI]

Marco Pavan

Proceedings of the Information Filtering and Retrieval, 2014

2012

A weak HOAS approach to the POPLmark Challenge

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

2010

AI Techniques in a Context-Aware Ubiquitous Environment.

[BibT_eX]

[DOI]

Proceedings of the Pervasive Computing, 2010

The Context-Aware Browser.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2010

2009

Context Aware Browser.

[BibT_eX]

[DOI]

Proceedings of the Interactive Information Retrieval, 01.03. - 06.03.2009, 2009

2008

A Conditional Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2006

Consistency of the theory of contexts.

[BibT_eX]

[DOI]

J. Funct. Program., 2006

2005

Translating specifications from nominal logic to CIC with the theory of contexts.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2003

Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Mobility Types in Coq.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

A framework for typed HOAS and semantics.

[BibT_eX]

[DOI]

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

Ambient Calculus and its Logic in the Calculus of Inductive Constructions.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

2001

pi-calculus in (Co)inductive-type theory.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

The Theory of Contexts for First Order and Higher Order Abstract Syntax.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Is semitransparency useful for navigating virtual environments?.

[BibT_eX]

[DOI]

Luca Chittaro

Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2001

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.

[BibT_eX]

[DOI]