The Wayback Machine - https://web.archive.org/web/20230813170127/https://ieeexplore.ieee.org/document/9470719
Normalization for Cubical Type Theory | IEEE Conference Publication | IEEE Xplore

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2023 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.