search result

Cover von String Diagrams for Closed Symmetric Monoidal Categories

String Diagrams for Closed Symmetric Monoidal Categories

Year: 2026
Media group: LIPIcs
Cover von Hypergraphs for Compact Closed Categories

Hypergraphs for Compact Closed Categories

Year: 2026
Media group: LIPIcs
Cover von When Lawvere Meets Peirce

When Lawvere Meets Peirce

An Equational Presentation of Boolean Hyperdoctrines
Year: 2024
Media group: LIPIcs
Cover von Diagrammatic Polyhedral Algebra

Diagrammatic Polyhedral Algebra

Year: 2021
Media group: LIPIcs
Cover von From Farkas' Lemma to Linear Programming

From Farkas' Lemma to Linear Programming

an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)
Year: 2021
Media group: LIPIcs
Cover von Tape Diagrams for Monoidal Monads

Tape Diagrams for Monoidal Monads

Year: 2025
Media group: LIPIcs
Cover von Parametric Iteration in Resource Theories

Parametric Iteration in Resource Theories

Year: 2026
Media group: LIPIcs
Cover von Functorial Semantics for First-Order Theories

Functorial Semantics for First-Order Theories

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0