Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle
1 faculty research Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle on GradNova.
Langages De Programmation: Systèmes De Typage, Sémantique, Fondements Et Conception
Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle
Programmation Concurrente Et Parallèle: Langages, Systèmes De Typage, Sémantique, Vérification
Logic, Programming, and Type Systems
+4