A Double Category Theoretic Analysis of Graded Linear Exponential Comonads
暂无分享,去创建一个
[1] Marco Gaboardi,et al. Combining effects and coeffects via grading , 2016, ICFP.
[2] Andre Scedrov,et al. Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability , 1992, Theor. Comput. Sci..
[3] Michele Pagani,et al. Modelling Coeffects in the Relational Semantics of Linear Logic , 2015, CSL.
[4] Ugo Dal Lago,et al. Functional Programming in Sublinear Space , 2010, ESOP.
[5] Marco Gaboardi,et al. A Core Quantitative Coeffect Calculus , 2014, ESOP.
[6] Ugo Dal Lago,et al. Linear Dependent Types and Relative Completeness , 2011, LICS.
[7] Dan R. Ghica,et al. Bounded Linear Types in a Resource Semiring , 2014, ESOP.
[8] Nick Benton,et al. Linear Lambda-Calculus and Categorial Models Revisited , 1992, CSL.
[9] Christof Löding,et al. Foundations of Software Science and Computation Structures , 2016, Lecture Notes in Computer Science.
[10] Marco Gaboardi,et al. A semantic account of metric preservation , 2017, POPL.
[11] Shin-ya Katsumata,et al. Parametric effect monads and semantics of effect systems , 2014, POPL.
[12] John Power,et al. Pseudo-commutative monads and pseudo-closed 2-categories , 2002 .
[13] A. L. Smirnov. Graded monads and rings of polynomials , 2008 .
[14] M. Laplaza,et al. Coherence for distributivity , 1972 .
[15] Alan Mycroft,et al. Coeffects: Unified Static Analysis of Context-Dependence , 2013, ICALP.
[16] Stefan Milius,et al. Generic Trace Semantics and Graded Monads , 2015, CALCO.
[17] Marco Grandis,et al. Adjoint for double categories , 2004 .
[18] Ulrich Schöpp,et al. Computation-by-Interaction with Effects , 2011, APLAS.
[19] R. Street. Two constructions on Lax functors , 1972 .
[20] Tetsuya Sato,et al. Approximate Relational Hoare Logic for Continuous Random Samplings , 2016, MFPS.
[21] Paul-André Melliès,et al. The parametric continuation monad † , 2015, Mathematical Structures in Computer Science.
[22] Benjamin C. Pierce,et al. Distance makes the types grow stronger: a calculus for differential privacy , 2010, ICFP '10.
[23] S. Lane. Categories for the Working Mathematician , 1971 .