1 |
Implémentation d'un langage fonctionnel orienté vers la méta programmation
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Formalizing Abstract Computability: Turing Categories in Coq
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Nested atomic sections with thread escape : semantics and compilation ; Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01362118 ; Algorithme et structure de données [cs.DS]. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2075⟩ (2014)
|
|
BASE
|
|
Show details
|
|
4 |
A logical approach to grammar for natural languages ; Approche logique des grammaires pour les langues naturelles
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00414778 ; Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2007. Français (2007)
|
|
BASE
|
|
Show details
|
|
|
|