Follow
Giulio Manzonetto
Giulio Manzonetto
Université Paris Cité
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
Weighted relational models of typed lambda-calculi
J Laird, G Manzonetto, G McCusker, M Pagani
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 301-310, 2013
1122013
Not enough points is enough
A Bucciarelli, T Ehrhard, G Manzonetto
Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007
932007
Categorical models for simply typed resource calculi
A Bucciarelli, T Ehrhard, G Manzonetto
Electronic Notes in Theoretical Computer Science 265, 213-230, 2010
612010
Applying universal algebra to lambda calculus
G Manzonetto, A Salibra
Journal of Logic and computation 20 (4), 877-915, 2010
502010
Applying universal algebra to lambda calculus
G Manzonetto, A Salibra
Journal of Logic and computation 20 (4), 877-915, 2010
502010
A relational semantics for parallelism and non-determinism in a functional setting
A Bucciarelli, T Ehrhard, G Manzonetto
Annals of Pure and Applied Logic 163 (7), 918-934, 2012
452012
What is a Categorical Model of the Differential and the Resource λ-Calculi?
G Manzonetto
Mathematical Structures in Computer Science 22 (3), 451-520, 2012
432012
The bang calculus and the two Girard's translations
G Guerrieri, G Manzonetto
arXiv preprint arXiv:1904.06845, 2019
342019
From λ-Calculus to Universal Algebra and Back
G Manzonetto, A Salibra
Mathematical Foundations of Computer Science 2008: 33rd International …, 2008
342008
Boolean algebras for lambda calculus
G Manzonetto, A Salibra
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 317-326, 2006
312006
Taylor Subsumes Scott, Berry, Kahn and Plotkin
D Barbarossa, G Manzonetto
Proceedings of the ACM on Programming Languages 4 (POPL), 1-23, 2019
272019
Revisiting Call-by-value B\" ohm trees in light of their Taylor expansion
E Kerinec, G Manzonetto, M Pagani
Logical Methods in Computer Science 16, 2020
262020
Full abstraction for resource calculus with tests
A Bucciarelli, A Carraro, T Ehrhard, G Manzonetto
Dagstuhl: sn, 2011
262011
A Relational Model of a Parallel and Non-deterministic λ-Calculus
A Bucciarelli, T Ehrhard, G Manzonetto
Logical Foundations of Computer Science: International Symposium, LFCS 2009 …, 2009
262009
A general class of models of
G Manzonetto
International Symposium on Mathematical Foundations of Computer Science, 574-586, 2009
252009
Constructing differential categories and deconstructing categories of games
J Laird, G Manzonetto, G McCusker
Information and Computation 222, 247-264, 2013
212013
Call-by-value non-determinism in a linear logic type discipline
A Díaz-Caro, G Manzonetto, M Pagani
Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013
212013
Lambda theories of effective lambda models
C Berline, G Manzonetto, A Salibra
Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007
172007
Models and theories of lambda calculus
G Manzonetto
arXiv preprint arXiv:0904.4756, 2009
162009
Böhm’s theorem for resource lambda calculus through Taylor expansion
G Manzonetto, M Pagani
International Conference on Typed Lambda Calculi and Applications, 153-168, 2011
152011
The system can't perform the operation now. Try again later.
Articles 1–20