An operational semantics for lambda-calculus normal order evaluation strategy 1:47 | Traitement de la vidéo... Chargement... Télécharger