Telecharger Cours

Lambda calculs et catégories - IRIF

Définition : un combinateur est un ?-terme sans variable libre. Quelques fameux : I = fun x ? x. ? = fun x ? x x. T = K = fun x y ? x. ?=??. F = fun x y ...



Download