Categorification of Negative Information using Enrichment

DOI10.4204/eptcs.380.2arXiv2207.13589OpenAlexW4385342923MaRDI QIDQ6150139

Andrea Censi, Gioele Zardini, Emilio Frazzoli, Unnamed Author

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Engineering Route Planning Algorithms
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• A dialectica-like model of linear logic

This page was built for publication: Categorification of Negative Information using Enrichment