Logique combinatoire et lambda calcul : des logiques d'opérateurs

22.00 EUR

Plongez dans l’univers des opérateurs logiques avec ce manuel de 270 pages, où le calcul lambda rencontre la logique combinatoire à travers des démonstrations détaillées et des schémas illustrés, idéal pour les chercheurs en théorie des langages.

Partager: