Finite Convergence of ?-Calculus Fixpoints on Genuinely Infinite Structures
- Publication date
- 1 January 2021
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)