TY  - CONF

T1  - Forward and backward steps in a fibration

JO  - 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)

UR  - https://eprints.whiterose.ac.uk/id/eprint/213739

PY  - 2023/09/02

AU  - Turkenburg R

AU  - Beohar H

AU  - Kupke C

AU  - Rot J

ED  - Baldan P

ED  - de Paiva V

DO  - DOI: 10.4230/LIPIcs.CALCO.2023.6

PB  - Schloss Dagstuhl – Leibniz-Zentrum für Informatik

VL  - 270

SP  - 6:1

EP  - 6:18

Y2  - 2025/11/20

ER  -