Login
Login

lambda elimination

  1. REDIRECT Combinatory logic#Conversion of a lambda term to an equivalent combinatorial term