cs.LO

10 papers.

1. Measuring data types
   Lukas Mulder, Paige Randall North and Maximilien Péroux · 2405.14678 · math.CT · CC BY 4.0
   13 statements22 proofs
2. Superabelian logics
   Petr Cintula, Filip Jankovec and Carles Noguera · 2409.20170 · math.LO · CC BY 4.0
   15 definitions28 statements18 proofs1 conjecture
3. Proofs that Modify Proofs, 1/2
   Henry Towsner · 2506.16491 · math.LO · CC BY 4.0
   32 definitions44 statements36 proofs
4. Approximate Axiomatization for Differentially-Defined Functions
   André Platzer and Long Qian · 2506.08233 · cs.LO · CC BY 4.0
   15 definitions20 statements19 proofs
5. On a fibrational construction for optics, lenses, and Dialectica categories
   Matteo Capucci, Bruno Gavranović, Abdullah Malik, Francisco Rios and Jonathan Weinberger · 2403.16388 · math.CT · CC BY 4.0
   13 definitions2 statements
6. Positive Modal Logic Beyond Distributivity
   Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot and Tommaso Moraschini · 2204.13401 · math.LO · CC BY SA 4.0
   31 definitions46 statements32 proofs
7. Constructing Initial Algebras Using Inflationary Iteration
   Andrew M. Pitts and S. C. Steenkamp · 2105.03252 · math.LO · CC BY 4.0
   6 definitions13 statements11 proofs
8. The Scott model of PCF in univalent type theory
   Tom de Jong · 1904.09810 · math.LO · CC BY 4.0
   30 definitions40 statements38 proofs
9. Categorical structures for type theory in univalent foundations
   Benedikt Ahrens, Peter LeFanu Lumsdaine and Vladimir Voevodsky · 1705.04310 · math.LO · CC BY 4.0
   24 definitions5 statements14 problems
10. A Game-Theoretic Approach to Information-Flow Control via Protocol Composition
    Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto and Catuscia Palamidessi · 1803.10042 · cs.CR · CC BY 4.0
    1 definition30 statements