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.