 | 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 |
| 2013 | |
| Chen | "Theories for Session-based Governance for Large-scale Distributed Systems" PhD thesis: Queen Mary, University of London. |
| 2011 | |
| Aschieri | "Learning, Realizability and Games in Classical Arithmetic" PhD thesis. |
| 2010 | |
| Sciacca | "Contributions in Computational Biology" PhD thesis. |
| Vercelli | "On the Complexity of Stratified Logics" PhD thesis. |
| 2009 | |
| Piccolo | "Linearity and Beyond in Denotational Semantics" PhD thesis. |
| 2007 | |
| Gaboardi | "Linearity: an Analytic Tool in the study of Complexity and Semantics of Programming Languages" PhD thesis. |
| 2006 | |
| Troina | "Probabilistic Timed Automata for Security Analysis and Design" PhD thesis. |
| 2005 | |
| Likavec | "Types for object-oriented and functional programming languages" PhD thesis. |
| 2004 | |
| Paolini | "Lambda-theories: some investigations" PhD thesis: Università degli Studi di Genova and Université de la Méditerranée (Aix-Marseille II). |
| 2003 | |
| Aldinucci | "Dynamic shared data in structured parallel programming frameworks" PhD thesis. |
| Bettini | "Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations" PhD thesis. |
| 1999 | |
| Bono | "Type Systems for the Object-Oriented Paradigm" PhD thesis. |
| 1998 | |
| Damiani | "Non-standard type inference for functional programs" PhD thesis. |
| 1996 | |
| Dezani-Ciancaglini | "Logical Semantics for Concurrent Lambda-Calculus" PhD thesis. |
| 1995 | |
| Roversi | "Semantics of lambda-calculi designed from Intuitionistic linear logic" PhD thesis. |
| 1991 | |
| de' Liguoro | "Non-deterministic untyped -calculus. A study about explicit non determinism in higher-order functional calculi" PhD thesis. |
|
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)
