Degrees of Relatedness

DOI10.1145/3209108.3209119zbMath1453.03005OpenAlexW2798299123MaRDI QIDQ5145355

Andreas Nuyts, Dominique Devriese

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209119

zbMATH Keywords

unionsintersectionserasureparametricityirrelevancecubical type theorypresheaf semanticsalgebra in type theory

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Type theory (03B38)

Related Items (8)

A dependent dependency calculus ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An extension of Mobius--Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library ⋮ Unnamed Item

This page was built for publication: Degrees of Relatedness