scientific article; zbMATH DE number 7453982

MaRDI QIDQ5019311

Jelle Herold, Marco Perone, André Videla, Erik Post, Andre Knispel, Fabrizio Genovese, Alex Gryzlov

Publication date: 7 January 2022

Full work available at URL: https://arxiv.org/abs/1912.06191

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computer science (68-XX) Category theory; homological algebra (18-XX)

Related Items (1)

idris-ct

Uses Software

• Coq
• Haskell
• Agda
• Irdis
• Idris
• GitHub
• PowerPoint
• Statebox
• CQL

Cites Work

• Unnamed Item
• Experience Implementing a Performant Category-Theory Library in Coq
• On the category of Petri net computations
• Idris, a general-purpose dependently typed programming language: Design and implementation

This page was built for publication: