TY  - CONF

T1  - Forward and Backward Steps in a Fibration

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2023/09/01

AU  - Turkenburg R

AU  - Beohar H

AU  - Kupke C

AU  - Rot J

ED  - 

DO  - DOI: 10.4230/LIPIcs.CALCO.2023.6

SN  - 9783959772877

VL  - 270

Y2  - 2024/10/23

ER  -