Ariel Arbiser, Fairouz Kamareddine, Alejandro RĂos. The Weak Normalization of the Simply Typed lambda-::::s::e::::::-calculus. Logic Journal of the IGPL, 15(2):121-147, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.