List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
DEBUG first row: length=10 | [1]=https://portal.mardi4nfdi.de/wiki/Public | [2]=An axiomatic account of a fully abstract | [3]=https://portal.mardi4nfdi.de/entity/Q661 | [4]=2024-10-01 | [5]=Q6612783 | [6]=https://portal.mardi4nfdi.de/entity/Q597 | [7]=Paper | [8]=7920680 | [9]= | [10]=
| Publication | Date of Publication | Type |
|---|---|---|
| An axiomatic account of a fully abstract game semantics for general references row10= | journal= | arxivId= | 2024-10-01 | Paper |
| The functional machine calculus II: semantics row10= | journal= | arxivId= | 2024-09-25 | Paper |
| On Compositionality of Dinatural Transformations row10= | journal= | arxivId= | 2022-05-28 | Paper |
| Composing dinatural transformations: towards a calculus of substitution Journal of Pure and Applied Algebra row10= | journal=Journal of Pure and Applied Algebra | arxivId= | 2021-06-09 | Paper |
| A history based logic for dynamic preference updates Journal of Logic, Language and Information row10= | journal=Journal of Logic, Language and Information | arxivId= | 2020-10-28 | Paper |
| Weighted relational models of typed lambda-calculi 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science row10= | journal=2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | arxivId= | 2017-07-03 | Paper |
| A Graphical Foundation for Schedules Electronic Notes in Theoretical Computer Science row10= | journal=Electronic Notes in Theoretical Computer Science | arxivId= | 2016-07-08 | Paper |
| Understanding game semantics through coherence spaces Electronic Notes in Theoretical Computer Science row10= | journal=Electronic Notes in Theoretical Computer Science | arxivId= | 2016-07-08 | Paper |
| Modelling local variables: possible worlds and object spaces Electronic Notes in Theoretical Computer Science row10= | journal=Electronic Notes in Theoretical Computer Science | arxivId= | 2016-07-08 | Paper |
| On the semantics of the bad-variable constructor in Algol-like languages row10= | journal= | arxivId= | 2016-05-03 | Paper |
| A graphical foundation for interleaving in game semantics Journal of Pure and Applied Algebra row10= | journal=Journal of Pure and Applied Algebra | arxivId= | 2014-12-05 | Paper |
| Imperative programs as proofs via game semantics Annals of Pure and Applied Logic row10= | journal=Annals of Pure and Applied Logic | arxivId= | 2013-12-19 | Paper |
| Constructing differential categories and deconstructing categories of games Information and Computation row10= | journal=Information and Computation | arxivId= | 2013-06-06 | Paper |
| Categorical models of syntactic control of intereference revisited, revisited LMS Journal of Computation and Mathematics row10= | journal=LMS Journal of Computation and Mathematics | arxivId= | 2011-09-15 | Paper |
| Constructing Differential Categories and Deconstructing Categories of Games Automata, Languages and Programming row10= | journal=Automata, Languages and Programming | arxivId= | 2011-07-07 | Paper |
| Coalgebraic semantics for parallel derivation strategies in logic programming Algebraic Methodology and Software Technology row10= | journal=Algebraic Methodology and Software Technology | arxivId= | 2011-01-21 | Paper |
| A graph model for imperative computation Logical Methods in Computer Science row10= | journal=Logical Methods in Computer Science | arxivId= | 2010-03-15 | Paper |
| A Games Model of Bunched Implications Computer Science Logic row10= | journal=Computer Science Logic | arxivId= | 2009-03-05 | Paper |
| The regular-language semantics of second-order idealized ALGOL Theoretical Computer Science row10= | journal=Theoretical Computer Science | arxivId= | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 1948166 (Why is no real title available?) row10= | journal= | arxivId= | 2003-07-10 | Paper |
| Games and full abstraction for FPC. Information and Computation row10= | journal=Information and Computation | arxivId= | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1670817 (Why is no real title available?) row10= | journal= | arxivId= | 2001-12-06 | Paper |
| scientific article; zbMATH DE number 1342245 (Why is no real title available?) row10= | journal= | arxivId= | 2001-05-28 | Paper |
| Full abstraction for idealized Algol with passive expressions Theoretical Computer Science row10= | journal=Theoretical Computer Science | arxivId= | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1259144 (Why is no real title available?) row10= | journal= | arxivId= | 1999-03-09 | Paper |
| scientific article; zbMATH DE number 1231510 (Why is no real title available?) row10= | journal= | arxivId= | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1223609 (Why is no real title available?) row10= | journal= | arxivId= | 1998-11-15 | Paper |
| Games and Definability For FPC The Bulletin of Symbolic Logic row10= | journal=The Bulletin of Symbolic Logic | arxivId= | 1997-12-17 | Paper |
| scientific article; zbMATH DE number 860033 (Why is no real title available?) row10= | journal= | arxivId= | 1996-07-01 | Paper |
Research outcomes over time
This page was built for person: Guy McCusker
