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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Une généralisation de la théorie des types en -calcul”
Une généralisation de la théorie des types en -calcul (II)
Point-fixe sur un ensemble restreint
Choun Tong Lieu (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Complexité de la réduction en logique combinatoire
Richard Canal (1978)
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:
Entiers intuitionnistes et entiers classiques en -calcul
K. Nour (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Lambda-calcul, évaluation paresseuse et mise en mémoire
Jean-Louis Krivine (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Karim Nour (1997)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: