Giulio Manzonetto

Available identifiers

zbMath Open manzonetto.giulioMaRDI QIDQ283767

List of research outcomes

Publication	Date of Publication	Type
A lambda calculus satellite	2024-10-21	Paper
A lambda calculus satellite	2024-03-01	Paper
Call-By-Value, Again!	2023-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q5101343	2022-08-30	Paper
The bang calculus and the two Girard's translations	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q3300796	2020-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q5111316	2020-05-26	Paper
The fixed point property and a technique to harness double fixed point combinators	2020-02-03	Paper
New semantical insights into call-by-value \(\lambda\)-calculus	2020-01-24	Paper
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture	2019-02-25	Paper
Relational graph models at work	2018-08-15	Paper
Factor varieties and symbolic computation	2018-04-23	Paper
New results on Morris's observational theory: the benefits of separating the inseparable	2017-10-17	Paper
Weighted relational models of typed lambda-calculi	2017-07-03	Paper
Categorical models for simply typed resource calculi	2016-07-08	Paper
Relational graph models, Taylor expansion and extensionality	2016-05-13	Paper
Call-by-value non-determinism in a linear logic type discipline	2015-12-11	Paper
Constructing differential categories and deconstructing categories of games	2013-06-06	Paper
Loader and Urzyczyn are logically related	2012-11-01	Paper
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion	2012-10-22	Paper
Full abstraction for resource calculus with tests	2012-09-18	Paper
What is a categorical model of the differential and the resource \(\lambda \)-calculi?	2012-06-04	Paper
A relational semantics for parallelism and non-determinism in a functional setting	2012-04-10	Paper
Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions	2012-03-13	Paper
Constructing Differential Categories and Deconstructing Categories of Games	2011-07-07	Paper
Böhm's theorem for resource lambda calculus through Taylor expansion	2011-06-17	Paper
Harnessing \(\mathrm{ML}^{\mathrm F}\) with the power of system F	2010-09-03	Paper
Applying universal algebra to lambda calculus	2010-08-26	Paper
Effective λ-models versus recursively enumerable λ-theories	2009-11-11	Paper
A General Class of Models of $\mathcal{H}^*$	2009-10-16	Paper
Not Enough Points Is Enough	2009-03-05	Paper
Lambda Theories of Effective Lambda Models	2009-03-05	Paper
A Relational Model of a Parallel and Non-deterministic λ-Calculus	2009-02-24	Paper
From λ-Calculus to Universal Algebra and Back	2009-02-03	Paper

Research outcomes over time

This page was built for person: Giulio Manzonetto