Catégorie:Langage de programmation théorique Pages dans la catégorie « Langage de programmation théorique » Cette catégorie contient les 5 pages suivantes. Outils : Arborescence Graphique Recherche interne PetScan Suivi F Fonction récursive primitiveJ Join-CalculL Lambda-calcul simplement typéP Pi-calculS Système T