×

zbMATH — the first resource for mathematics

Liquori, Luigi

Compute Distance To:
Author ID: liquori.luigi Recent zbMATH articles by "Liquori, Luigi"
Published as: Liquori, Luigi
External Links: ORCID
Documents Indexed: 33 Publications since 1994

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 114 times in 62 Documents Cited by Year
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
Rewriting calculus with fixpoints: Untyped and first-order systems. Zbl 1100.03514
Cirstea, Horatiu; Liquori, Luigi; Wack, Benjamin
6
2004
Comparing cubes of typed and type assignment systems. Zbl 0952.03010
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel
5
1997
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts. Zbl 1118.68046
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
5
2007
Intersection-types à la Church. Zbl 1125.68031
Liquori, Luigi; Ronchi Della Rocca, Simona
5
2007
An open logical framework. Zbl 1352.68061
Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar
4
2016
A framework for defining logical frameworks. Zbl 1277.03029
Honsell, Furio; Lenisa, Marina; Liquori, Luigi
4
2007
Comparing cubes. Zbl 0947.03022
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Paweł
3
1994
Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract). Zbl 1272.68177
Dougherty, Dan; Lescanne, Pierre; Liquori, Luigi; Lang, Frédéric
3
2005
A subtyping for extensible, incomplete objects. Zbl 1040.03506
Bono, Viviana; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Liquori, Luigi
3
1999
\(\mathrm{L}^{\mathrm{ax}}\mathrm{F}\): side conditions and external evidence as monads. Zbl 1425.68071
Honsell, Furio; Liquori, Luigi; Scagnetto, Ivan
2
2014
\(\mathsf{LLF}_{\mathcal{P}}\): a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Zbl 1456.03027
Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan
2
2017
The polymorphic rewriting-calculus [type checking vs. type inference]. Zbl 1272.68191
Liquori, Luigi; Wack, Benjamin
2
2005
Imperative object-based calculi in co-inductive type theories. Zbl 1273.03105
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
2
2003
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects. Zbl 1044.03507
Bono, Viviana; Liquori, Luigi
2
1995
A lambda calculus of incomplete objects. Zbl 0896.03016
Bono, Viviana; Bugliesi, Michele; Liquori, Luigi
1
1996
Object calculi in linear logic. Zbl 0955.68025
Bugliesi, Michele; Delzanno, Giorgio; Liquori, Luigi; Martelli, Maurizio
1
2000
Towards an intersection typed system à la Church. Zbl 1272.03081
Liquori, Luigi; Ronchi Della Rocca, Simona
1
2005
Plugging-in proof development environments using locks in \(\mathsf{LF}\). Zbl 1400.68195
Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
1
2018
Addressed term rewriting systems: application to a typed object calculus. Zbl 1122.68069
Dougherty, Daniel J.; Lescanne, Pierre; Liquori, Luigi
1
2006
Logic and computation in a lambda calculus with intersection and union types. Zbl 1253.03036
Dougherty, Daniel J.; Liquori, Luigi
1
2010
Implementing Cantor’s paradise. Zbl 06667495
Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
1
2016
A conditional logical framework. Zbl 1182.03068
Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
1
2008
Extending FeatherTrait Java with interfaces. Zbl 1146.68026
Liquori, Luigi; Spiwack, Arnaud
1
2008
iRho: an imperative rewriting calculus. Zbl 1153.68026
Liquori, Luigi; Serpette, Bernard Paul
1
2008
Plugging-in proof development environments using locks in \(\mathsf{LF}\). Zbl 1400.68195
Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
1
2018
\(\mathsf{LLF}_{\mathcal{P}}\): a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Zbl 1456.03027
Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan
2
2017
An open logical framework. Zbl 1352.68061
Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar
4
2016
Implementing Cantor’s paradise. Zbl 06667495
Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
1
2016
\(\mathrm{L}^{\mathrm{ax}}\mathrm{F}\): side conditions and external evidence as monads. Zbl 1425.68071
Honsell, Furio; Liquori, Luigi; Scagnetto, Ivan
2
2014
Logic and computation in a lambda calculus with intersection and union types. Zbl 1253.03036
Dougherty, Daniel J.; Liquori, Luigi
1
2010
A conditional logical framework. Zbl 1182.03068
Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
1
2008
Extending FeatherTrait Java with interfaces. Zbl 1146.68026
Liquori, Luigi; Spiwack, Arnaud
1
2008
iRho: an imperative rewriting calculus. Zbl 1153.68026
Liquori, Luigi; Serpette, Bernard Paul
1
2008
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts. Zbl 1118.68046
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
5
2007
Intersection-types à la Church. Zbl 1125.68031
Liquori, Luigi; Ronchi Della Rocca, Simona
5
2007
A framework for defining logical frameworks. Zbl 1277.03029
Honsell, Furio; Lenisa, Marina; Liquori, Luigi
4
2007
Addressed term rewriting systems: application to a typed object calculus. Zbl 1122.68069
Dougherty, Daniel J.; Lescanne, Pierre; Liquori, Luigi
1
2006
Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract). Zbl 1272.68177
Dougherty, Dan; Lescanne, Pierre; Liquori, Luigi; Lang, Frédéric
3
2005
The polymorphic rewriting-calculus [type checking vs. type inference]. Zbl 1272.68191
Liquori, Luigi; Wack, Benjamin
2
2005
Towards an intersection typed system à la Church. Zbl 1272.03081
Liquori, Luigi; Ronchi Della Rocca, Simona
1
2005
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
Rewriting calculus with fixpoints: Untyped and first-order systems. Zbl 1100.03514
Cirstea, Horatiu; Liquori, Luigi; Wack, Benjamin
6
2004
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
Imperative object-based calculi in co-inductive type theories. Zbl 1273.03105
Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
2
2003
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
Object calculi in linear logic. Zbl 0955.68025
Bugliesi, Michele; Delzanno, Giorgio; Liquori, Luigi; Martelli, Maurizio
1
2000
A subtyping for extensible, incomplete objects. Zbl 1040.03506
Bono, Viviana; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Liquori, Luigi
3
1999
Comparing cubes of typed and type assignment systems. Zbl 0952.03010
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel
5
1997
A lambda calculus of incomplete objects. Zbl 0896.03016
Bono, Viviana; Bugliesi, Michele; Liquori, Luigi
1
1996
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects. Zbl 1044.03507
Bono, Viviana; Liquori, Luigi
2
1995
Comparing cubes. Zbl 0947.03022
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Paweł
3
1994
all top 5

Cited by 94 Authors

9 Liquori, Luigi
8 Kirchner, Claude
6 Cirstea, Horatiu
6 Kirchner, Hélène
4 Honsell, Furio
4 Meseguer Guaita, José
4 Scagnetto, Ivan
3 Andrei, Oana
3 Bertolissi, Clara
3 Bono, Viviana
3 Ciaffaglione, Alberto
3 Faure, Germain
3 Fernández, Maribel
3 Lenisa, Marina
2 Bettini, Lorenzo
2 de’Liguoro, Ugo
2 Henrio, Ludovic
2 Kammüller, Florian
2 Lämmel, Ralf
2 Mackie, Ian
2 Martí-Oliet, Narciso
2 Ronchi Della Rocca, Simona
2 Urzyczyn, Paweł
2 Venneri, Betti
2 Wells, Joe B.
1 Alessi, Fabio
1 Arrighi, Pablo
1 Ayala-Rincón, Mauricio
1 Baldan, Paolo
1 Balland, Emilie
1 Belkhir, Walid
1 Berardi, Stefano
1 Blanqui, Frédéric
1 Bonelli, Eduardo
1 Borovanský, Peter
1 Brauner, Paul
1 Bruni, Roberto
1 Bugliesi, Michele
1 Chihani, Zakaria
1 Damiani, Ferruccio
1 de Vrijer, Roel
1 Dershowitz, Nachum
1 Di Gianantonio, Pietro
1 Díaz-Caro, Alejandro
1 Dougherty, Daniel J.
1 Dovland, Johan
1 Duval, Dominique
1 Echahed, Rachid
1 Felty, Amy P.
1 Geuvers, Jan Herman
1 Giorgetti, Alain
1 Hirschowitz, Tom
1 Houtmann, Clément
1 Jay, C. Barry
1 Johnsen, Einar Broch
1 Kamareddine, Fairouz D.
1 Kesner, Delia
1 Kirchner, Florent
1 Klop, Jan Willem
1 Lenczner, Michel
1 Leroy, Xavier
1 Lescanne, Pierre
1 Lovas, William
1 Lutz, Bianca
1 Maksimović, Petar
1 Miculan, Marino
1 Miller, Dale Allen
1 Miquel, Alexandre
1 Momigliano, Alberto
1 Moreau, Pierre-Etienne
1 Muñoz, César A.
1 Nahon, Fabrice
1 Nguyen, Quang Huy
1 Petit, Barbara
1 Pfenning, Frank
1 Prost, Frédéric
1 Renaud, Fabien
1 Riba, Colin
1 Riecke, Jon G.
1 Sato, Shinya
1 Schaefer, Ina
1 Seldin, Jonathan P.
1 Sinot, François-Régis
1 Spiwack, Arnaud
1 Stolze, Claude
1 Stone, Christopher A.
1 Stump, Aaron
1 Valiron, Benoît
1 van Bakel, Steffen
1 van Oostrom, Vincent
1 Verdejo, Alberto
1 Viso, Andrés
1 Wack, Benjamin
1 Walker, Matthew

Citations by Year