Laird, James Extensional and intensional semantics of bounded and unbounded nondeterminism. (English) Zbl 07471671 Log. Methods Comput. Sci. 17, No. 4, Paper No. 11, 37 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Laird}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 11, 37 p. (2021; Zbl 07471671) Full Text: arXiv Link
Laird, J. Sequential algorithms for unbounded nondeterminism. (English) Zbl 1351.68060 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 271-287, electronic only (2015). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{J. Laird}, Electron. Notes Theor. Comput. Sci. 319, 271--287 (2015; Zbl 1351.68060) Full Text: DOI
Goubault-Larrecq, Jean Musings around the geometry of interaction, and coherence. (English) Zbl 1222.03066 Theor. Comput. Sci. 412, No. 20, 1998-2014 (2011). MSC: 03F52 03B70 03G30 PDFBibTeX XMLCite \textit{J. Goubault-Larrecq}, Theor. Comput. Sci. 412, No. 20, 1998--2014 (2011; Zbl 1222.03066) Full Text: DOI
Curien, Pierre-Louis Preface to the special volume. (English, French) Zbl 1213.03043 Theor. Comput. Sci. 412, No. 20, 1853-1859 (2011). MSC: 03B70 03F52 68N30 PDFBibTeX XMLCite \textit{P.-L. Curien}, Theor. Comput. Sci. 412, No. 20, 1853--1859 (2011; Zbl 1213.03043) Full Text: DOI
Winskel, Glynn Stable bistructure models of PCF (preliminary draft). (English) Zbl 1493.68064 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 177-197 (1994). MSC: 68N15 03B70 18M45 68N18 68Q55 PDFBibTeX XMLCite \textit{G. Winskel}, Lect. Notes Comput. Sci. 841, 177--197 (1994; Zbl 1493.68064) Full Text: DOI