lazi et la logique combinatoire

Contexte

La logique combinatoire ressemble à lazi, de par le distribute.

Question

Quels sont les points communs et les différentes entre lazi et logique combinatoire ?

Réponse

La logique combinatoire utiliser distribute et constF dans l'idée de se passer de variable et d'avoir un outils simple. Mais ce n'est pas pour créer directement une fondation mathématique à partir de règles sur des noms. La logique combinatoire est utilisé comme un outils d'analyse de la logique mathématique et de l'informatique.