La partie du calcul de lambda pertinente au calcul est maintenant appelée calcul lambda non typée.
Lambda calculus peut être utilisé pour définir ce qu'est une fonction calculable. Aucun algorithme général ne peut répondre à la question de savoir si deux expressions de calcul lambda sont équivalentes.