Daniel Briaud

Learn More
Explicit substitutions were proposed by Abadi, Cardelli, Curien, Hardin and Lvy to internalise substitutions into λ-calculus and to propose a mechanism for computing on substitutions. λυ is another view of the same concept which aims to explain the process of substitution and to decompose it in small steps. It favours simplicity and preservation of strong(More)
  • 1