Quartz 4

❯

Folder: ref

189 items under this folder.

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

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community