VictorTaelin/Interaction-Calculus

Un langage de programmation et un modèle de calcul correspondant parfaitement à l'algorithme de réduction du λ-calcul optimal.

Étoiles

948

Bifurcations

Langage

Licence

—

Dernier push

il y a 10 mois

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.