A class of higher inductive types in Zermelo‐Fraenkel set theory
Article in Mathematical Logic Quarterly (January 2022)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Mathematical Logic Quarterly (January 2022)
Article in ACM SIGLOG News (April 2021)
Article in Applied Sciences (December 2019)