References [84] Introduction to Lambda Calculus.
1984. [1] [Cha12] Arthur Charguéraud.
The Locally Nameless Representation.
Journal of Automated Reasoning , 49(3):363–408, Oct 2012.
doi:10.1007/s10817-011-9225-2 , URL: https://doi.org/10.1007/s10817-011-9225-2 . [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [Gir95] J.-Y. Girard.
Linear Logic: its syntax and semantics , pages 1–42.
London Mathematical Society Lecture Note Series.
Cambridge University Press, 1995. [1] [2] [Gir87] Jean-Yves Girard.
Linear logic.
Theoretical Computer Science , 50(1):1–101, 1987.
doi:10.1016/0304-3975(87)90045-4 , URL: https://www.sciencedirect.com/science/article/pii/0304397587900454 . [1] [HMU06] John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.
Introduction to Automata Theory, Languages, and Computation (3rd Edition) .
Addison-Wesley Longman Publishing Co., Inc., USA, 2006.
ISBN 0321455363. [1] [2] [KI15] Oleg Kiselyov, Hiromi Ishii.
Freer Monads, More Extensible Effects.
In Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell , Haskell 2015, 94–105. New York, NY, USA, 2015. ACM.
doi:10.1145/2804302.2804319 , URL: https://doi.org/10.1145/2804302.2804319 . [1] [Mil18] Bartosz Milewski.
The Dao of Functional Programming .
Self-published, 2018.
Available online at https://bartoszmilewski.com . [1] [Mil80] Robin Milner.
A Calculus of Communicating Systems .
Volume 92 of Lecture Notes in Computer Science.
Springer, 1980.
ISBN 3-540-10235-3.
doi:10.1007/3-540-10235-3 , URL: https://doi.org/10.1007/3-540-10235-3 . [1] [2] [Mon23] Fabrizio Montesi.
Introduction to Choreographies .
Cambridge University Press, Cambridge, 2023.
ISBN 978-1-108-83376-9.
doi:10.1017/9781108981491 , URL: https://www.cambridge.org/core/books/introduction-to-choreographies/65D3DA3CFF11AB835452CBC97FAE4830 . [1] [2] [3] [San] Davide Sangiorgi.
Introduction to Bisimulation and Coinduction .
Cambridge University Press.
ISBN 978-1-107-00363-7.
doi:10.1017/CBO9780511777110 , URL: https://www.cambridge.org/core/books/introduction-to-bisimulation-and-coinduction/8B54001CB763BAE9C4BA602C0A341D60 . [1] [2] [3] [4] [5] [6] [7] [8] [9]