 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2017 | |
| Barbanera and de' Liguoro | "Retractability, games and orchestrators for session contracts" Unpublished: submitted for publication. |
| Paolini | "Foundational principles of reversible and quantum computing: Quantum Computing" Unpublished. |
| 2014 | |
| van Bakel, Barbanera and de' Liguoro | "Intersection Types for the lambda-mu Calculus" Unpublished. |
| de' Liguoro and Chen | "Semantic Types for Classes and Mixins" Unpublished: ITRS14. |
| Piccolo, Sacerdoti Coen and Tranquilli | "The labelling approach to precise resource analysis on the source code, revisited" Unpublished. |
| 2010 | |
| Berardi and de' Liguoro | "Interactive Realizers and Monads" Unpublished. |
| Roversi | "Linear lambda calculus with explicit substitutions as proof-search in Deep Inference" Unpublished. |
| 2009 | |
| Paolini | "Call-by-value lambda-calculus" Unpublished. |
| Paolini | "Parametric Lambda Calculus. A meta-calculus for computation" Unpublished. |
| 2008 | |
| Paolini and Piccolo | "Linear Programming Languages" Unpublished. |
| Piccolo | "Strong Normalization in the -calculus with Intersection and Union Types" Unpublished. |
| Pimentel, Ronchi Della Rocca and Roversi | "Intersection Types from a proof-theoretic perspective" Unpublished. |
| 2007 | |
| Paolini | "Denotational Paradigms" Unpublished. |
| 2006 | |
| Paolini | "Semantics of PCF and the full abstraction problem" Unpublished. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
