Routine maintenance underway until 3:00 pm, ET. ProQuest remains fully available. Questions or issues? Contact Technical Support.

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