![[tel-00415845, v1] Etude d un $ lambda$-calcul issu d une logique classique](https://img.uscri.be/pth/f25954379667cac8493c850ee9c8ade1b3ad12c2)
Documents
Sciences humaines et sociales
[tel-00415845, v1] Etude d'un $ lambda$-calcul issu d'une logique classique
Auteur
Khelifa
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.