On phase semantics and denotational semantics: The exponentials. Zbl 1004.03051
Bucciarelli, Antonio; Ehrhard, Thomas |
|
2001
|
Not enough points is enough. Zbl 1179.03021
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2007
|
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel |
|
2017
|
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2014
|
Categorical models for simply typed resource calculi. Zbl 1342.68048
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2010
|
Sequentiality in an extensional framework. Zbl 0807.68064
Bucciarelli, Antonio; Ehrhard, Thomas |
|
1994
|
On phase semantics and denotational semantics in multiplicative-additive linear logic. Zbl 0949.03057
Bucciarelli, Antonio; Ehrhard, Thomas |
|
2000
|
A theory of sequentiality. Zbl 0779.68056
Bucciarelli, Antonio; Ehrhard, Thomas |
|
1993
|
A relational semantics for parallelism and non-determinism in a functional setting. Zbl 1241.03010
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2012
|
The bang calculus revisited. Zbl 07368082
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés |
|
2020
|
A relational model of a parallel and non-deterministic \(\lambda \)-calculus. Zbl 1211.03026
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2009
|
Extensional embedding of a strongly stable model of PCF. Zbl 0786.68053
Bucciarelli, Antonio; Ehrhard, Thomas |
|
1991
|
Full abstraction for resource calculus with tests. Zbl 1247.03020
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio |
|
2011
|
Degrees of parallelism in the continuous type hierarchy. Zbl 0901.68066
Bucciarelli, Antonio |
|
1997
|
Intersection types and \(\lambda\)-definability. Zbl 1029.03005
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano |
|
2003
|
Graph lambda theories. Zbl 1158.03008
Bucciarelli, Antonio; Salibra, Antonino |
|
2008
|
The minimal graph model of lambda calculus. Zbl 1124.03315
Bucciarelli, Antonio; Salibra, Antonino |
|
2003
|
On linear information systems. Zbl 1454.03081
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Salibra, Antonino |
|
2010
|
Graph easy sets of mute lambda terms. Zbl 1432.03020
Bucciarelli, A.; Carraro, A.; Favro, G.; Salibra, A. |
|
2016
|
Full abstraction for the resource lambda calculus with tests, through Taylor expansion. Zbl 1260.03021
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio |
|
2012
|
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2018
|
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2015
|
Another approach to sequentiality: Kleene’s unimonotone functions. Zbl 1509.68144
Bucciarelli, Antonio |
|
1994
|
Strong normalization through intersection types and memory. Zbl 1394.03023
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel |
|
2016
|
Bi-models: Relational versus domain-theoretic approaches. Zbl 0926.68024
Bucciarelli, Antonio |
|
1997
|
Relative definability of boolean functions via hypergraphs. Zbl 1002.68106
Bucciarelli, Antonio; Malacaria, Pasquale |
|
2002
|
Logical reconstruction of bi-domains. Zbl 1063.68598
Bucciarelli, Antonio |
|
1997
|
Relative definability and models of unary PCF. Zbl 1039.68031
Bucciarelli, Antonio; Leperchey, Benjamin; Padovani, Vincent |
|
2003
|
Minimal \(\lambda\)-theories by ultraproducts. Zbl 1464.03009
Bucciarelli, Antonio; Carraro, Alberto; Salibra, Antonino |
|
2013
|
Hypergraphs and degrees of parallelism: A completeness result. Zbl 1126.68334
Bucciarelli, Antonio; Leperchey, Benjamin |
|
2004
|
Solvability = typability + inhabitation. Zbl 1509.03056
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2021
|
An algebraic theory of clones. Zbl 1496.08003
Bucciarelli, Antonio; Salibra, Antonino |
|
2022
|
An algebraic theory of clones. Zbl 1496.08003
Bucciarelli, Antonio; Salibra, Antonino |
|
2022
|
Solvability = typability + inhabitation. Zbl 1509.03056
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2021
|
The bang calculus revisited. Zbl 07368082
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés |
|
2020
|
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2018
|
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel |
|
2017
|
Graph easy sets of mute lambda terms. Zbl 1432.03020
Bucciarelli, A.; Carraro, A.; Favro, G.; Salibra, A. |
|
2016
|
Strong normalization through intersection types and memory. Zbl 1394.03023
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel |
|
2016
|
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2015
|
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona |
|
2014
|
Minimal \(\lambda\)-theories by ultraproducts. Zbl 1464.03009
Bucciarelli, Antonio; Carraro, Alberto; Salibra, Antonino |
|
2013
|
A relational semantics for parallelism and non-determinism in a functional setting. Zbl 1241.03010
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2012
|
Full abstraction for the resource lambda calculus with tests, through Taylor expansion. Zbl 1260.03021
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio |
|
2012
|
Full abstraction for resource calculus with tests. Zbl 1247.03020
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio |
|
2011
|
Categorical models for simply typed resource calculi. Zbl 1342.68048
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2010
|
On linear information systems. Zbl 1454.03081
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Salibra, Antonino |
|
2010
|
A relational model of a parallel and non-deterministic \(\lambda \)-calculus. Zbl 1211.03026
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2009
|
Graph lambda theories. Zbl 1158.03008
Bucciarelli, Antonio; Salibra, Antonino |
|
2008
|
Not enough points is enough. Zbl 1179.03021
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio |
|
2007
|
Hypergraphs and degrees of parallelism: A completeness result. Zbl 1126.68334
Bucciarelli, Antonio; Leperchey, Benjamin |
|
2004
|
Intersection types and \(\lambda\)-definability. Zbl 1029.03005
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano |
|
2003
|
The minimal graph model of lambda calculus. Zbl 1124.03315
Bucciarelli, Antonio; Salibra, Antonino |
|
2003
|
Relative definability and models of unary PCF. Zbl 1039.68031
Bucciarelli, Antonio; Leperchey, Benjamin; Padovani, Vincent |
|
2003
|
Relative definability of boolean functions via hypergraphs. Zbl 1002.68106
Bucciarelli, Antonio; Malacaria, Pasquale |
|
2002
|
On phase semantics and denotational semantics: The exponentials. Zbl 1004.03051
Bucciarelli, Antonio; Ehrhard, Thomas |
|
2001
|
On phase semantics and denotational semantics in multiplicative-additive linear logic. Zbl 0949.03057
Bucciarelli, Antonio; Ehrhard, Thomas |
|
2000
|
Degrees of parallelism in the continuous type hierarchy. Zbl 0901.68066
Bucciarelli, Antonio |
|
1997
|
Bi-models: Relational versus domain-theoretic approaches. Zbl 0926.68024
Bucciarelli, Antonio |
|
1997
|
Logical reconstruction of bi-domains. Zbl 1063.68598
Bucciarelli, Antonio |
|
1997
|
Sequentiality in an extensional framework. Zbl 0807.68064
Bucciarelli, Antonio; Ehrhard, Thomas |
|
1994
|
Another approach to sequentiality: Kleene’s unimonotone functions. Zbl 1509.68144
Bucciarelli, Antonio |
|
1994
|
A theory of sequentiality. Zbl 0779.68056
Bucciarelli, Antonio; Ehrhard, Thomas |
|
1993
|
Extensional embedding of a strongly stable model of PCF. Zbl 0786.68053
Bucciarelli, Antonio; Ehrhard, Thomas |
|
1991
|