Giulio Manzonetto

	2012
17		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: A relational semantics for parallelism and non-determinism in a functional setting. Ann. Pure Appl. Logic 163(7): 918-934 (2012)
16		Giulio Manzonetto, Paolo Tranquilli: Strong normalization of MFF via a calculus of coercions. Theor. Comput. Sci. 417: 74-94 (2012)
	2011
15		Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto: Full Abstraction for Resource Calculus with Tests. CSL 2011: 97-111
14		Jim Laird, Giulio Manzonetto, Guy McCusker: Constructing Differential Categories and Deconstructing Categories of Games. ICALP (2) 2011: 186-197
13		Giulio Manzonetto, Michele Pagani: Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. TLCA 2011: 153-168
	2010
12		Giulio Manzonetto, Paolo Tranquilli: Harnessing MLF with the Power of System F. MFCS 2010: 525-536
11		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Categorical Models for Simply Typed Resource Calculi. Electr. Notes Theor. Comput. Sci. 265: 213-230 (2010)
10		Giulio Manzonetto, Antonino Salibra: Applying Universal Algebra to Lambda Calculus. J. Log. Comput. 20(4): 877-915 (2010)
	2009
9		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS 2009: 107-121
8		Giulio Manzonetto: A General Class of Models of . MFCS 2009: 574-586
7		Giulio Manzonetto: Models and theories of lambda calculus CoRR abs/0904.4756: (2009)
6		Chantal Berline, Giulio Manzonetto, Antonino Salibra: Effective lambda-models versus recursively enumerable lambda-theories. Mathematical Structures in Computer Science 19(5): 897-942 (2009)
	2008
5		Giulio Manzonetto, Antonino Salibra: From lambda-Calculus to Universal Algebra and Back. MFCS 2008: 479-490
4		Chantal Berline, Giulio Manzonetto, Antonino Salibra: Effective lambda-models vs recursively enumerable lambda-theories CoRR abs/0806.2264: (2008)
	2007
3		Chantal Berline, Giulio Manzonetto, Antonino Salibra: Lambda Theories of Effective Lambda Models. CSL 2007: 268-282
2		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Not Enough Points Is Enough. CSL 2007: 298-312
	2006
1		Giulio Manzonetto, Antonino Salibra: Boolean Algebras for Lambda Calculus. LICS 2006: 317-326

Coauthor Index

1	Chantal Berline	[3] [4] [6]
2	Antonio Bucciarelli	[2] [9] [11] [15] [17]
3	Alberto Carraro	[15]
4	Thomas Ehrhard	[2] [9] [11] [15] [17]
5	James Laird (Jim Laird)	[14]
6	Guy McCusker	[14]
7	Michele Pagani	[13]
8	Antonino Salibra	[1] [3] [4] [5] [6] [10]
9	Paolo Tranquilli	[12] [16]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page