Found 1 document(s)
Page 1 of 1
-
Les "Combinatory Reduction Systems" sont des systèmes de réécriture d'ordre supérieur étendant les systèmes de réécriture du premier ordre par un mécanisme de liaison de variables. D'un autre côté, la réécriture et le la...