Zaloga: :: Library Catalog

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Ghilardi, Silvio, Marquès, Jérémie
Format:	Preprint
Izdano:	2025
Teme:	Category Theory Logic 03B45, 03G30, 03C80, 18F60
Online dostop:	https://arxiv.org/abs/2507.20768
Oznake:	Označite Brez oznak, prvi označite!

Internet

https://arxiv.org/abs/2507.20768