Une généralisation de la théorie des types en -calcul (II)
Patrick Sallé (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Complexité de la réduction en logique combinatoire”
Une généralisation de la théorie des types en -calcul (II)
Une généralisation de la théorie des types en -calcul
Patrick Sallé (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Point-fixe sur un ensemble restreint
Choun Tong Lieu (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Entiers intuitionnistes et entiers classiques en -calcul
K. Nour (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Les modalités de la correction totale
Luis Fariñas Del Cerro (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Construction, évaluation et amélioration systématiques de structures de données
Jean-Luc Rémy (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Opérateurs de mise en mémoire et types -positifs
Karim Nour (1996)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: