Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. - Goubault-Larrecq, Jean.; König, Barbara (Cham : Springer International Publishing AG, 2020)
A Curry-style Semantics of Interaction: From untyped to second-order lazy λμ-calculus.
Description based on publisher supplied metadata and other sources.
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Keywords: Electronic books