Projet:Logique/Participants
From Wikipedia, the free encyclopedia
| Nom | Spécialité ou compétence |
|---|---|
| Pierre de Lyon | Logique mathématique orientée théorie de la démonstration, théorie des types et lambda-calcul. Je m'intéresse aussi à l'histoire |
| Léna | Les Lois de De Morgan (ma première contribution !) mais sinon, lambda-calcul, calcul des prédicats, validation formelle et intérêt pour le reste |
| Lepticed7 | Logique du premier ordre, logique de description. |
| JeanCASPAR | Théorie des types, théorie des catégories, sémantique. |