Octocurious

❯

Folder: ref

190 items under this folder.

11 Mar 2026
kaposi2019-constructing-qiit
07 Mar 2026
kovacs2020-infinitary-qiit
07 Mar 2026
riehl2016-category-theory
03 Mar 2026
altenkirch2016-qiit
02 Mar 2026
riehl2014-categorical-homotopy-theory
01 Mar 2026
damato2025-formalizing-containers
01 Mar 2026
A categorical semantics for inductive-inductive definitions
23 Feb 2026
An analysis of {G}irard's paradox
21 Feb 2026
Elements of Intuitionism (Second Edition)
21 Feb 2026
Homotopy Type Theory: Univalent Foundations of Mathematics
17 Feb 2026
Intuitionistic Type Theory
12 Feb 2026
dybjer1999-inductive-recursive
11 Feb 2026
A {{New Approach}} to {{Abstract Syntax}} with {{Variable Binding}}
08 Feb 2026
fiore2022-quotient-inductive
08 Feb 2026
Complete axioms for categorical fixed-point operators
08 Feb 2026
Sequent Calculi for Process Verification: {{Hennessy}}--{{Milner}} Logic for an Arbitrary {{GSOS}}
08 Feb 2026
Behavioural Equivalence via Modalities for Algebraic Effects
08 Feb 2026
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets
08 Feb 2026
Call-by-Need in Token-Passing Nets
08 Feb 2026
String Diagrams for Traced and Compact Categories Are Oriented 1-Cobordisms
08 Feb 2026
Logical Relations and the Typed Lambda-Calculus
08 Feb 2026
Categorical Semantics of Programming Languages
08 Feb 2026
The Coq Proof Assistant
08 Feb 2026
Cubical {{Agda}}: {{A}} Dependently Typed Programming Language with Univalence and Higher Inductive Types
08 Feb 2026
The Marriage of Effects and Monads
08 Feb 2026
A Framework for Substructural Type Systems
08 Feb 2026
Exploiting Refactoring in Formal Verification
08 Feb 2026
Exploiting Refactoring in Formal Verification
08 Feb 2026
yoneda1960-end
08 Feb 2026
An Introduction to Algebraic Effects and Handlers. Invited Tutorial Paper
08 Feb 2026
The Strength of Martin-L{\\\"o}f Type Theory with a Superuniverse. Part I
08 Feb 2026
Deriving Structural Labelled Transitions for Mobile Ambients
08 Feb 2026
Ribbon Graphs and Their Invaraints Derived from Quantum Groups
08 Feb 2026
Ribbon graphs and their invaraints derived from quantum groups
08 Feb 2026
Separation Logic: {{A}} Logic for Shared Mutable Data Structures
08 Feb 2026
Infinity Category Theory from Scratch
08 Feb 2026
riehl2022-hott-semantics
08 Feb 2026
Total Correctness by Local Improvement in Program Transformation
08 Feb 2026
Environmental Bisimulations for Higher-Order Languages
08 Feb 2026
A {{Congruence}} for {{Petri Nets}}
08 Feb 2026
shapiro1991-second-order-foundations
08 Feb 2026
Symmetric monoidal categories and $$\\backslash$Gamma $-categories
08 Feb 2026
Non-degeneracy conditions for braided finite tensor categories
08 Feb 2026
Tortile tensor categories
08 Feb 2026
Preorder-Constrained Simulations for Program Refinement with Effects
08 Feb 2026
Term Evaluation Systems with Refinements: {{First-order}}, Second-Order, and Contextual Improvement
08 Feb 2026
Programming in Martin-L{\\\"o}f's Type Theory: An Introduction
08 Feb 2026
Dependently typed programming in Agda
08 Feb 2026
The Logic of Bunched Implications
08 Feb 2026
Game {{Semantics}} and Its {{Applications}}
08 Feb 2026
Tracing the {{Man}} in the {{Middle}} in {{Monoidal Categories}}
08 Feb 2026
Monoidal Computer {{I}}: {{Basic}} Computability by String Diagrams
08 Feb 2026
Operational Semantics and Program Equivalence
08 Feb 2026
Nominal Techniques
08 Feb 2026
pitts2021-inflationary-iteration
08 Feb 2026
The Origins of Structural Operational Semantics
08 Feb 2026
Tensors of Comodels and Models for Operational Semantics
08 Feb 2026
Traces in symmetric monoidal categories
08 Feb 2026
An Intuitionistic Theory of Types: Predicative Part
08 Feb 2026
Constructive Mathematics and Computer Programming
08 Feb 2026
Quantum toroidal algebras and solvable structures in gauge/string theory
08 Feb 2026
Functorial Boxes in String Diagrams
08 Feb 2026
Bigraphical Reactive Systems
08 Feb 2026
Pure Bigraphs: {{Structure}} and Dynamics
08 Feb 2026
Refactoring, {{Refinement}}, and {{Reasoning}}: {{A Logical Characterization}} for {{Hybrid Systems}}
08 Feb 2026
Linearly-Used State in Models of Call-by-Value
08 Feb 2026
Lambda-Calculus Models of Programming Languages
08 Feb 2026
mortberg2020-finitary-induction-induction
08 Feb 2026
Memoryful Geometry of Interaction {{II}}: Recursion and Adequacy
08 Feb 2026
The Dynamic Geometry of Interaction Machine: {{A}} Call-by-Need Graph Rewriter
08 Feb 2026
The Geometry of Computation-Graph Abstraction
08 Feb 2026
Hypernet {{Semantics}} of {{Programming Languages}}
08 Feb 2026
kaposi2019-finitary-induction-induction
08 Feb 2026
The Simplicial Model of Univalent Foundations (after Voevodsky)
08 Feb 2026
kaulkin2018-simplicial-model
08 Feb 2026
Coherence for compact closed categories
08 Feb 2026
Category Theoretic Structure of Setoids
08 Feb 2026
Zur Deutung der intuitionistischen Logik
08 Feb 2026
From Applicative to Environmental Bisimulation
08 Feb 2026
Interaction Nets
08 Feb 2026
From Proof Nets to Interaction Nets
08 Feb 2026
Formalizing {$\\Pi$}4({{S3}}) {$\\cong$}{{Z}}/{{2Z}} and {{Computing}} a {{Brunerie Number}} in {{Cubical Agda}}
08 Feb 2026
loregian2023-coend-calculus
08 Feb 2026
Weak $\\omega$-Categories from Intensional Type Theory
08 Feb 2026
The {{Geometry}} of {{Interaction}} Machine
08 Feb 2026
Linear Logic {{With}} Boxes
08 Feb 2026
The Groupoid Interpretation of Type Theory
08 Feb 2026
Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
08 Feb 2026
The Formulae-as-Types Notion of Construction
08 Feb 2026
Proving Congruence of Bisimulation in Functional Programming Languages
08 Feb 2026
External Traced Monoidal Categories
08 Feb 2026
Formalizing Category Theory in {{Agda}}
08 Feb 2026
Traced {{Monoidal Categories}} as {{Algebraic Structures}} in {{Prof}}
08 Feb 2026
On Full Abstraction for {{PCF}}: {{I}}, {{II}}, and {{III}}
08 Feb 2026
Java Jr: {{Fully}} Abstract Trace Semantics for a Core Java Language
08 Feb 2026
The Geometry of Tensor Calculus, {{I}}
08 Feb 2026
The geometry of tensor calculus, I
08 Feb 2026
Braided Tensor Categories
08 Feb 2026
Traced Monoidal Categories
08 Feb 2026
kaposi2016-type-theory-in-type-theory
08 Feb 2026
Evolving Algebras 1993: {{Lipari}} Guide
08 Feb 2026
Håkon Gylterud's masters' thesis on symmetric containers
08 Feb 2026
Traced *-autonomous categories are compact closed
08 Feb 2026
Recursion from Cyclic Sharing: {{Traced}} Monoidal Categories and Models of Cyclic Lambda Calculi
08 Feb 2026
The {{Uniformity Principle}} on {{Traced Monoidal Categories}}
08 Feb 2026
The Uniformity Principle on Traced Monoidal Categories
08 Feb 2026
On Traced Monoidal Closed Categories
08 Feb 2026
On Traced Monoidal Closed Categories
08 Feb 2026
On Traced Monoidal Closed Categories
08 Feb 2026
Traced {{Monads}} and {{Hopf Monads}}
08 Feb 2026
Braids, twists, trace and duality in combinatory algebras
08 Feb 2026
Advanced {{Topics}} in {{Category Theory}}, {{Part I}}
08 Feb 2026
Intuitionism: An Introduction
08 Feb 2026
Shaped {{Hierarchical Architectural Design}}
08 Feb 2026
fiore2022-qiit
08 Feb 2026
Graph Rewriting for the {$\\pi$}-Calculus
08 Feb 2026
gambino2004-polynomial-functors
08 Feb 2026
N.{{G}}.~de {{Bruijn}}'s Contribution to the Formalization of Mathematics
08 Feb 2026
A System-Level Game Semantics
08 Feb 2026
The Far Side of the Cube
08 Feb 2026
String Diagrams for {$\\lambda$}-Calculi and Functional Computation
08 Feb 2026
Linear Logic
08 Feb 2026
Geometry of interaction 1: Interpretation of System F
08 Feb 2026
Geometry of {{Interaction I}}: Interpretation of System {{F}}
08 Feb 2026
Girard's paradox
08 Feb 2026
Towards a Formally Verified Functional Quantum Programming Language
08 Feb 2026
Structured Operational Semantics and Bisimulation as a Congruence
08 Feb 2026
{Rev{\\^e}tements Etales et Groupe Fondamental}
08 Feb 2026
Monoidal {{Streams}} for {{Dataflow Programming}}
08 Feb 2026
Monoidal {{Streams}} for {{Dataflow Programming}}
08 Feb 2026
Structured {{Operational Semantics}} for {{Graph Rewriting}}
08 Feb 2026
Hierarchical Graph Transformation
08 Feb 2026
A Relational Modal Logic for Higher-Order Stateful Adts
08 Feb 2026
The Impact of Higher-Order State and Control Effects on Local Relational Reasoning
08 Feb 2026
Inductive Sets and Families in Martin-L{\\\"o}f's Type Theory and their Set-Theoretic Semantics
08 Feb 2026
Deriving Bisimulation Congruences in the {{DPO}} Approach to Graph Rewriting with Borrowed Contexts
08 Feb 2026
Adjoint functors and triples
08 Feb 2026
On fusion categories
08 Feb 2026
Systems of Predicative Analysis
08 Feb 2026
Abstract Syntax and Variable Binding
08 Feb 2026
fiore2020-infinitary-qiit
08 Feb 2026
Hopf Monads
08 Feb 2026
Hopf monads on monoidal categories
08 Feb 2026
On the Homotopy Groups of Spheres in Homotopy Type Theory
08 Feb 2026
General recursion via coinductive types
08 Feb 2026
collem2025-initial-domain-qiit
08 Feb 2026
Combinatory Logic, Volume I
08 Feb 2026
Effectful Applicative Bisimilarity: {{Monads}}, Relators, and Howe's Method
08 Feb 2026
The Geometry of Concurrent Interaction: {{Handling}} Multiple Ports by Way of Multiple Tokens
08 Feb 2026
damato2025-container-thesis
08 Feb 2026
Reversible, Irreversible and Optimal Lambda-Machines
08 Feb 2026
On Inter-Deriving Small-Step and Big-Step Semantics: {{A}} Case Study for Storeless Call-by-Need Evaluation
08 Feb 2026
Note on {{Compact Closed Categories}}
08 Feb 2026
Quantum Categories, Star Autonomy, and Quantum
08 Feb 2026
Higher-Level Synchronising Devices in {{Meije-SCCS}}
08 Feb 2026
Rewriting for Monoidal Closed Categories
08 Feb 2026
Homotopy Theoretic Models of Identity Types
08 Feb 2026
*-Autonomous categories
08 Feb 2026
Spherical categories
08 Feb 2026
On the completeness of the traced monoidal category axioms in (Rel,+)
08 Feb 2026
berg2012-wisc
08 Feb 2026
Negative membership.
08 Feb 2026
The equational logic of iterative processes
08 Feb 2026
Hopf algebras and their generalizations from a category theoretical point of view
08 Feb 2026
Labelled {{Transitions}} for {{Mobile Ambients}} ({{As Synthesized}} via a {{Graphical Encoding}})
08 Feb 2026
Synthesising {{CCS}} Bisimulation Using Graph Rewriting
08 Feb 2026
A General Account of Coinduction Up-To
08 Feb 2026
String Diagram Rewrite Theory {{II}}: Rewriting with Symmetric Monoidal Structure
08 Feb 2026
String Diagram Rewrite Theory {{III}}: Confluence with and without Frobenius
08 Feb 2026
String Diagram Rewrite Theory {{I}}: Rewriting with Frobenius Structure
08 Feb 2026
A Diagrammatic Algebra for Program Logics
08 Feb 2026
abramsky1997-game-semantics
08 Feb 2026
Full Abstraction for {{PCF}}
08 Feb 2026
Geometry of interaction and linear combinatory algebras
08 Feb 2026
Geometry of interaction and linear combinatory algebras
08 Feb 2026
Algorithmic {{Game Semantics}} and Its {{Applications}} : {{Final Report}}
08 Feb 2026
Jumping Boxes
08 Feb 2026
Distilling Abstract Machines
08 Feb 2026
The Machinery of Interaction
08 Feb 2026
The (in)Efficiency of Interaction
08 Feb 2026
altenkirch2016-partiality
08 Feb 2026
altenkirch2016-type-theory-qit
08 Feb 2026
altenkirch2017-partiality
08 Feb 2026
altenkirch2020-induction-slides
08 Feb 2026
altenkirch2024-categorified-containers
08 Feb 2026
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
08 Feb 2026
abbott2004-containers
08 Feb 2026
abbott2005-container-derivative
08 Feb 2026
The Lazy Lambda-Calculus
08 Feb 2026
Game Semantics for Programming Languages

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community