Typal Heterogeneous Equality Types

DOI10.1145/3379447zbMath1446.03032arXiv1907.07501OpenAlexW3121803535MaRDI QIDQ5121276

Andrew M. Pitts

Publication date: 11 September 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

type theoryequality typesheterogeneous equality

Mathematics Subject Classification ID

Type theory (03B38)

This page was built for publication: Typal Heterogeneous Equality Types