Introduction au λ-calcul
Syntaxe et sémantique du λ-calcul
Conventions de notations
variables Libres et liés
Règles de conversions
α-conversion
β-conversion
η-conversion
Conversions généralisés
égalité d'expressions
La relation de réduction -->
égalité par extension
Substitution
Collaborateur(s) de cette page: pfares
.
Page dernièrement modifiée le vendredi 24 de novembre, 2006 22:09:21 UTC par pfares.