| 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 | |
| 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