Publisher
Springer Nature Singapore
Reference34 articles.
1. Angiuli, C., Cavallo, E., Mörtberg, A., Zeuner, M.: Internalizing representation independence with univalence. Proc. ACM Program. Lang. 5(POPL), 1–30 (2021). https://doi.org/10.1145/3434293
2. Lecture Notes in Computer Science;JC Blanchette,2014
3. Church, A.: A formulation of the simple theory of types. J. Symb. Logic 5(2), 56–68 (1940). https://doi.org/10.2307/2266170
4. Lecture Notes in Computer Science;C Cohen,2013
5. Cousot, P.: Principles of Abstract Interpretation. MIT Press, Cambridge (2021)