Ch04.8. Représentation entier Lambda calcul

UCL-INGI / LINGI1123-Calculabilite

15 stars 37 forks source link

Open Yves-Deville opened 6 years ago

Yves-Deville commented 6 years ago

Montrer comment on peut représenter un entier en Lambda calcul, et comment on peut réaliser des opérations de base sur ces entiers (cfr slides).

Peiffap commented 5 years ago

Closed by #85.