On the identity type as the type of computational paths

DOI10.1093/jigpal/jzx015zbMath1405.03024arXiv1504.04759OpenAlexW2963961857MaRDI QIDQ4644591

Arthur F. Ramos, Anjolina de Oliveira, Ruy J. G. B. de Queiroz

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

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

zbMATH Keywords

category theoryterm rewriting systemstype theorygroupoid modelidentity typeuniqueness of identity proofscomputational pathsequality proofshigher categorical structurespath-based constructions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (1)

Towards a homotopy domain theory

This page was built for publication: On the identity type as the type of computational paths