Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference22 articles.
1. Explicit Substitutions;Abadi;Journal of Functional Programming,1991
2. An Abstract Factorization Theorem for Explicit Substitutions;Accattoli,2012
3. Comparing Calculi of Explicit Substitutions with Eta-reduction;Ayala-Rincón;Electronic Notes in Theoretical Computer Science,2002
4. Comparing and Implementing Calculi of Explicit Substitutions with Eta-Reduction;Ayala-Rincón;Annals of Pure and Applied Logic,2005
5. Studies in Logic and the Foundations of Mathematics;Barendregt,1984