Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiulio Manzonetto
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j15]Axel Kerinec
, Giulio Manzonetto, Federico Olimpieri:
Why Are Proofs Relevant in Proof-Relevant Models? Proc. ACM Program. Lang. 7(POPL): 218-248 (2023)- [c22]Giulio Manzonetto:
A Lambda Calculus Satellite (Invited Talk). FSCD 2023: 3:1-3:14 - [e1]Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann:
Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France. OASIcs 111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-306-5 [contents] - [i9]Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich:
Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. CoRR abs/2306.13756 (2023) - 2022
- [b2]Henk Barendregt, Giulio Manzonetto:
A Lambda Calculus Satellite. College Publications 2022, ISBN 978-1-84890-415-6 - [j14]Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto:
Addressing Machines as models of lambda-calculus. Log. Methods Comput. Sci. 18(3) (2022) - [c21]Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich:
Extended Addressing Machines for PCF, with Explicit Substitutions. MFPS 2022 - 2021
- [c20]Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca:
Call-By-Value, Again! FSCD 2021: 7:1-7:18 - [i8]Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto:
Addressing Machines as models of lambda-calculus. CoRR abs/2107.00319 (2021) - 2020
- [j13]Axel Kerinec, Giulio Manzonetto, Michele Pagani:
Revisiting Call-by-value Böhm trees in light of their Taylor expansion. Log. Methods Comput. Sci. 16(3) (2020) - [j12]Davide Barbarossa, Giulio Manzonetto:
Taylor subsumes Scott, Berry, Kahn and Plotkin. Proc. ACM Program. Lang. 4(POPL): 1:1-1:23 (2020)
2010 – 2019
- 2019
- [j11]Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca:
New Semantical Insights Into Call-by-Value λ-Calculus. Fundam. Informaticae 170(1-3): 241-265 (2019) - [j10]Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky:
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Log. Methods Comput. Sci. 15(1) (2019) - [j9]Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen:
The fixed point property and a technique to harness double fixed point combinators. J. Log. Comput. 29(5): 831-880 (2019) - 2018
- [j8]Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo:
Relational Graph Models at Work. Log. Methods Comput. Sci. 14(3) (2018) - [c19]Giulio Guerrieri, Giulio Manzonetto:
The Bang Calculus and the Two Girard's Translations. Linearity-TLLA@FLoC 2018: 15-30 - [i7]Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky:
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. CoRR abs/1802.07320 (2018) - [i6]Axel Kerinec, Giulio Manzonetto, Michele Pagani:
Revisiting Call-by-value Bohm trees in light of their Taylor expansion. CoRR abs/1809.02659 (2018) - 2017
- [c18]Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky:
Refutation of Sallé's Longstanding Conjecture. FSCD 2017: 20:1-20:18 - [i5]Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo:
Relational Graph Models at Work. CoRR abs/1703.10382 (2017) - 2016
- [c17]Antonino Salibra, Giulio Manzonetto, Giordano Favro:
Factor Varieties and Symbolic Computation. LICS 2016: 739-748 - [c16]Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo:
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. FSCD 2016: 15:1-15:18 - 2014
- [c15]Giulio Manzonetto, Domenico Ruoppolo:
Relational Graph Models, Taylor Expansion and Extensionality. MFPS 2014: 245-272 - 2013
- [j7]Jim Laird, Giulio Manzonetto, Guy McCusker:
Constructing differential categories and deconstructing categories of games. Inf. Comput. 222: 247-264 (2013) - [c14]Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani:
Call-by-Value Non-determinism in a Linear Logic Type Discipline. LFCS 2013: 164-178 - [c13]Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani:
Weighted Relational Models of Typed Lambda-Calculi. LICS 2013: 301-310 - [i4]Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani:
Call-by-value non-determinism in a linear logic type discipline. CoRR abs/1312.4507 (2013) - 2012
- [j6]Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto:
A relational semantics for parallelism and non-determinism in a functional setting. Ann. Pure Appl. Log. 163(7): 918-934 (2012) - [j5]Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto:
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion. Log. Methods Comput. Sci. 8(4) (2012) - [j4]Giulio Manzonetto:
What is a categorical model of the differential and the resource λ-calculi? Math. Struct. Comput. Sci. 22(3): 451-520 (2012) - [j3]Giulio Manzonetto, Paolo Tranquilli:
Strong normalization of MLF via a calculus of coercions. Theor. Comput. Sci. 417: 74-94 (2012) - [c12]Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt:
Loader and Urzyczyn Are Logically Related. ICALP (2) 2012: 364-376 - 2011
- [c11]Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto:
Full Abstraction for Resource Calculus with Tests. CSL 2011: 97-111 - [c10]Jim Laird, Giulio Manzonetto, Guy McCusker:
Constructing Differential Categories and Deconstructing Categories of Games. ICALP (2) 2011: 186-197 - [c9]Giulio Manzonetto, Michele Pagani:
Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. TLCA 2011: 153-168 - 2010
- [j2]Giulio Manzonetto, Antonino Salibra:
Applying Universal Algebra to Lambda Calculus. J. Log. Comput. 20(4): 877-915 (2010) - [c8]Giulio Manzonetto, Paolo Tranquilli:
Harnessing MLF with the Power of System F. MFCS 2010: 525-536 - [c7]Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto:
Categorical Models for Simply Typed Resource Calculi. MFPS 2010: 213-230 - [i3]Giulio Manzonetto:
What is a categorical model of the differential and the resource lambda-calculi? CoRR abs/1011.2307 (2010)
2000 – 2009
- 2009
- [j1]Chantal Berline, Giulio Manzonetto, Antonino Salibra:
Effective lambda-models versus recursively enumerable lambda-theories. Math. Struct. Comput. Sci. 19(5): 897-942 (2009) - [c6]Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto:
A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS 2009: 107-121 - [c5]Giulio Manzonetto:
A General Class of Models of H*. MFCS 2009: 574-586 - [i2]Giulio Manzonetto:
Models and theories of lambda calculus. CoRR abs/0904.4756 (2009) - 2008
- [b1]Giulio Manzonetto:
Models and theories of lambda calculus. Paris Diderot University, France, 2008 - [c4]Giulio Manzonetto, Antonino Salibra:
From lambda-Calculus to Universal Algebra and Back. MFCS 2008: 479-490 - [i1]Chantal Berline, Giulio Manzonetto, Antonino Salibra:
Effective lambda-models vs recursively enumerable lambda-theories. CoRR abs/0806.2264 (2008) - 2007
- [c3]Chantal Berline, Giulio Manzonetto, Antonino Salibra:
Lambda Theories of Effective Lambda Models. CSL 2007: 268-282 - [c2]Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto:
Not Enough Points Is Enough. CSL 2007: 298-312 - 2006
- [c1]Giulio Manzonetto, Antonino Salibra:
Boolean Algebras for Lambda Calculus. LICS 2006: 317-326
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
