Programming from Specifications, par Carroll Morgan (1990‑1998)
| Auteur | Message |
|---|---|
|
The Triumph of Types: Principia Mathematica's Impact on Computer Science (srcf.ucam.org) [PDF]. Robert L. Constable, date inconnue, Université de Cornell.
Également ajouté à la bibliographie dans le sujet des notes en vrac sur les logiques. |
|
|
Le site du Formal Systems Laboratory — FSL — de l’université de l’Illinois : fsl.cs.illinois.edu. Voir la page des publications : FSL Publications (fsl.cs.illinois.edu).
|