| Ugo Dal Lago Pages in this Program | 2FC on Saturday, July 12th | | 2FC Program | | All Proceedings Papers | | CSL-LICS 2014 Full and Final Proceedings | | CSL-LICS 2014 Full and Final Proceedings: Papers with Abstracts | | CSL-LICS on Friday, July 18th | | CSL-LICS on Monday, July 14th | | CSL-LICS Program | | DCM Home Page | | FCS-FCC 2014 Informal Proceedings | | FCS-FCC 2014 Informal Proceedings: Papers with Abstracts | | FCS-FCC on Friday, July 18th | | FCS-FCC Program | | Linearity 2014 Informal Proceedings | | Linearity 2014 Informal Proceedings: Papers with Abstracts | | Linearity on Sunday, July 13th | | Linearity Program | | LOLA Home Page | | LOLA Program Committee | | Paper: Beta Reduction is Invariant, Indeed | | Paper: The Geometry of Synchronization | | Paper: Towards a Coinductive Characterization of Computational Indistinguishability | | Paper: Wave-Style Token Machines and Quantum Lambda Calculi | | Program | | Program for Friday, July 18th | | Program for Monday, July 14th | | Program for Saturday, July 12th | | Program for Sunday, July 13th |
|
