Lambda calculus tags Computer science Links to this note Turing-completeness Last changed 03/03/2021 | authored by Hugo Cisneros