Document Preview Unavailable
On the complexity of normalization for the planar \(\lambda\)-calculus
Das, Anupam; Mazza, Damiano; Lê Thành Dũng Nguyên; Zeilberger, Noam. arXiv.org, Apr 8, 2024.You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library