Concepedia

Giulio Manzonetto

GM

12

Publications

282

Citations

11

H-Index

2006

Active since

Affiliations

Laboratoire d'Informatique de Paris-Nord(Current)

Université Paris Cité

Université Sorbonne Paris Nord

Centre National de la Recherche Scientifique

Sorbonne Paris Cité

Giulio Manzonetto is an author at Laboratoire d'Informatique de Paris-Nord specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningMathematical FoundationsSemanticsProgram AnalysisArtsGamesDesign

Publications per year

2006–2019

12

Publications

12

Weighted Relational Models of Typed Lambda-Calculi

Giulio Manzonetto, Guy McCusker, Michele Pagani · 2013 · 78 citations

Applying Universal Algebra to Lambda Calculus

Giulio Manzonetto, Antonino Salibra · Journal of Logic and Computation · 2008 · 33 citations · Full text

A relational semantics for parallelism and non-determinism in a functional setting

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto · Annals of Pure and Applied Logic · 2011 · 32 citations

Relational Semantics, Engineering, Functional Setting +10

What is a categorical model of the differential and the resource λ-calculi?

Giulio Manzonetto · Mathematical Structures in Computer Science · 2012 · 27 citations

Mathematical Programming, Differential λ-Calculus, Engineering +15

Boolean Algebras for Lambda Calculus

Giulio Manzonetto, Antonino Salibra · 2006 · 20 citations

Central Elements, Algebraic Logic, Fuzzy Logic +12

Rows per page

1–5 of 12