Simon Huber

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7559277 (Why is no real title available?)	2022-07-18	Paper
Pointers in Recursion: Exploring the Tropics	2022-07-18	Paper
Canonicity and homotopy canonicity for cubical type theory (available as arXiv preprint)	2022-02-09	Paper
Canonicity and homotopy canonicity for cubical type theory	2022-02-09	Paper
On higher inductive types in cubical type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
The univalence axiom in cubical sets Journal of Automated Reasoning	2019-08-21	Paper
Canonicity for cubical type theory Journal of Automated Reasoning	2019-08-21	Paper
An adequacy theorem for dependent type theory Theory of Computing Systems	2019-07-04	Paper
Cubical type theory: a constructive interpretation of the univalence axiom (available as arXiv preprint)	2018-08-13	Paper
scientific article; zbMATH DE number 6694181 (Why is no real title available?)	2017-03-13	Paper
A generalization of the Takeuti-Gandy interpretation Mathematical Structures in Computer Science	2016-07-27	Paper
Towards a formal theory of computability	2011-03-09	Paper

Research outcomes over time

This page was built for person: Simon Huber