Luigi Liquori

Available identifiers

zbMath Open liquori.luigiMaRDI QIDQ930883

List of research outcomes

Publication	Date of Publication	Type
A typed lambda calculus of objects (extended abstract)	2024-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q5090978	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089030	2022-07-18	Paper
Plugging-in proof development environments usingLocksinLF	2018-10-19	Paper
A decidable subtyping logic for intersection and union types	2018-02-16	Paper
$\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads	2017-07-13	Paper
A Realizability Interpretation for Intersection and Union Types	2016-12-21	Paper
Implementing Cantor’s Paradise	2016-12-21	Paper
An open logical framework	2016-04-28	Paper
Pure patterns type systems	2015-09-11	Paper
L ax F: Side Conditions and External Evidence as Monads	2014-10-14	Paper
A framework for defining logical frameworks	2013-12-06	Paper
Virtual organizations in \texttt{Arigatoni}	2013-12-06	Paper
Towards an intersection typed system à la Church	2013-10-02	Paper
Rewriting calculus with(out) types	2013-10-02	Paper
Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)	2013-09-25	Paper
The polymorphic rewriting-calculus [type checking vs. type inference]	2013-09-20	Paper
Rewrite strategies in the rewriting calculus	2013-08-27	Paper
Logic and Computation in a Lambda Calculus with Intersection and Union Types	2011-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3408131	2010-02-24	Paper
A Conditional Logical Framework	2009-01-27	Paper
iRho: an imperative rewriting calculus	2008-08-15	Paper
Extending FeatherTrait Java with interfaces	2008-06-24	Paper
Intersection-types à la Church	2007-09-18	Paper
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts	2007-08-17	Paper
Addressed term rewriting systems: application to a typed object calculus	2006-08-28	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4474827	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4458488	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q2778872	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2769430	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4501164	2000-09-03	Paper
Object calculi in linear logic	2000-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4944856	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4375807	1998-10-01	Paper
Comparing cubes of typed and type assignment systems	1997-10-23	Paper

Research outcomes over time

This page was built for person: Luigi Liquori