Notes de lecture - atala

Le livre présente un ensemble d'outils mathématiques couramment utilisés pour formaliser la ... dans la sémantique formelle vue à travers le lambda-calcul.


Un extrait du document