Publisher
Journal of Logic and Analysis
Subject
Logic,Modelling and Simulation,Analysis
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Kripke-Joyal forcing for type theory and uniform fibrations;Selecta Mathematica;2024-07-31
2. Observational Equality Meets CIC;Lecture Notes in Computer Science;2024
3. Canonicity and homotopy canonicity for cubical type theory;Logical Methods in Computer Science;2022-02-03
4. Observational equality: now for good;Proceedings of the ACM on Programming Languages;2022-01-12
5. Syntax and models of Cartesian cubical type theory;Mathematical Structures in Computer Science;2021-04