Exemples – cont.

• Le l-calcul intègre les notions de fonction (et de lieur) et d’application.

• Le spi-calcul intègre des primitives de cryptage et de décryptage.

• Le calcul des objets d’Abadi et Cardelli intègre les notions d’objets, de self, de méthodes.