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