Lucatelli Nunes, Fernando; Vákár, Matthijs CHAD for expressive total languages. (English) Zbl 07813349 Math. Struct. Comput. Sci. 33, No. 4-5, 311-426 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{F. Lucatelli Nunes} and \textit{M. Vákár}, Math. Struct. Comput. Sci. 33, No. 4--5, 311--426 (2023; Zbl 07813349) Full Text: DOI arXiv OA License
Ehrhard, Thomas Coherent differentiation. (English) Zbl 07813348 Math. Struct. Comput. Sci. 33, No. 4-5, 259-310 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{T. Ehrhard}, Math. Struct. Comput. Sci. 33, No. 4--5, 259--310 (2023; Zbl 07813348) Full Text: DOI arXiv OA License
Hamano, Masahiro A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces. (English) Zbl 07798822 Inf. Comput. 295, Part B, Article ID 105109, 34 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Hamano}, Inf. Comput. 295, Part B, Article ID 105109, 34 p. (2023; Zbl 07798822) Full Text: DOI arXiv
Ciobanu, Gabriel; Todoran, Eneia Nicolae Spiking neural P systems and their semantics in Haskell. (English) Zbl 07732619 Nat. Comput. 22, No. 1, 41-54 (2023). MSC: 68Q07 68N18 68Q55 PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{E. N. Todoran}, Nat. Comput. 22, No. 1, 41--54 (2023; Zbl 07732619) Full Text: DOI
Veltri, Niccolò; Vezzosi, Andrea Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda. (English) Zbl 1512.68176 J. Log. Algebr. Methods Program. 131, Article ID 100846, 23 p. (2023). MSC: 68Q85 68N18 68Q55 PDFBibTeX XMLCite \textit{N. Veltri} and \textit{A. Vezzosi}, J. Log. Algebr. Methods Program. 131, Article ID 100846, 23 p. (2023; Zbl 1512.68176) Full Text: DOI
Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun A denotational semantics of simulink with higher-order UTP. (English) Zbl 07618116 J. Log. Algebr. Methods Program. 130, Article ID 100809, 24 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{X. Xu} et al., J. Log. Algebr. Methods Program. 130, Article ID 100809, 24 p. (2023; Zbl 07618116) Full Text: DOI
Ciobanu, Gabriel; Todoran, Eneia Nicolae A process calculus for spiking neural P systems. (English) Zbl 07814668 Inf. Sci. 604, 298-319 (2022). MSC: 68-XX 92-XX PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{E. N. Todoran}, Inf. Sci. 604, 298--319 (2022; Zbl 07814668) Full Text: DOI
Chen, Ningning; Zhu, Huibiao Denotational and algebraic semantics for the CaIT calculus. (English) Zbl 07719829 Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 132-150 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Chen} and \textit{H. Zhu}, Lect. Notes Comput. Sci. 13572, 132--150 (2022; Zbl 07719829) Full Text: DOI
Dvir, Yotam; Kammar, Ohad; Lahav, Ori An algebraic theory for shared-state concurrency. (English) Zbl 1524.68055 Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 3-24 (2022). MSC: 68N15 68N20 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{Y. Dvir} et al., Lect. Notes Comput. Sci. 13658, 3--24 (2022; Zbl 1524.68055) Full Text: DOI
Chen, Mingshuai; Katoen, Joost-Pieter; Klinkenberg, Lutz; Winkler, Tobias Does a program yield the right distribution? Verifying probabilistic programs via generating functions. (English) Zbl 1514.68028 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 79-101 (2022). MSC: 68N19 68Q60 PDFBibTeX XMLCite \textit{M. Chen} et al., Lect. Notes Comput. Sci. 13371, 79--101 (2022; Zbl 1514.68028) Full Text: DOI arXiv
Ekici, Burak Formal categorical reasoning. (English) Zbl 1524.68429 Turk. J. Math. 46, No. 4, 1538-1552 (2022). MSC: 68V20 03G30 18C50 68V15 PDFBibTeX XMLCite \textit{B. Ekici}, Turk. J. Math. 46, No. 4, 1538--1552 (2022; Zbl 1524.68429) Full Text: DOI
Ehrhard, Thomas Differentials and distances in probabilistic coherence spaces. (English) Zbl 1528.68064 Log. Methods Comput. Sci. 18, No. 3, Paper No. 2, 33 p. (2022). MSC: 68N18 03F52 68Q55 PDFBibTeX XMLCite \textit{T. Ehrhard}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 2, 33 p. (2022; Zbl 1528.68064) Full Text: arXiv Link
Huot, Mathieu; Staton, Sam; Vákár, Matthijs Higher order automatic differentiation of higher order functions. (English) Zbl 07566054 Log. Methods Comput. Sci. 18, No. 1, Paper No. 41, 34 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Huot} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 41, 34 p. (2022; Zbl 07566054) Full Text: arXiv Link
Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción A polynomial reduction of forks into logic programs. (English) Zbl 1496.68329 Artif. Intell. 308, Article ID 103712, 14 p. (2022). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{F. Aguado} et al., Artif. Intell. 308, Article ID 103712, 14 p. (2022; Zbl 1496.68329) Full Text: DOI
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko Event structures for the reversible early internal \(\pi\)-calculus. (English) Zbl 1482.68152 J. Log. Algebr. Methods Program. 124, Article ID 100720, 46 p. (2022). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 68Q09 68Q55 PDFBibTeX XMLCite \textit{E. Graversen} et al., J. Log. Algebr. Methods Program. 124, Article ID 100720, 46 p. (2022; Zbl 1482.68152) Full Text: DOI
Matache, Cristina; Moss, Sean; Staton, Sam Recursion and sequentiality in categories of sheaves. (English) Zbl 07700630 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{C. Matache} et al., LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021; Zbl 07700630) Full Text: DOI arXiv
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
Miyazaki, Takayuki; Minamide, Yasuhiko Context-free grammars with lookahead. (English) Zbl 07405989 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 213-225 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Miyazaki} and \textit{Y. Minamide}, Lect. Notes Comput. Sci. 12638, 213--225 (2021; Zbl 07405989) Full Text: DOI
Ekembe Ngondi, Gerard Denotational semantics of channel mobility in UTP-CSP. (English) Zbl 1519.68160 Formal Asp. Comput. 33, No. 4-5, 803-826 (2021). MSC: 68Q85 68N30 68Q55 PDFBibTeX XMLCite \textit{G. Ekembe Ngondi}, Formal Asp. Comput. 33, No. 4--5, 803--826 (2021; Zbl 1519.68160) Full Text: DOI
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko Event structure semantics of (controlled) reversible CCS. (English) Zbl 07377686 J. Log. Algebr. Methods Program. 121, Article ID 100686, 52 p. (2021). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{E. Graversen} et al., J. Log. Algebr. Methods Program. 121, Article ID 100686, 52 p. (2021; Zbl 07377686) Full Text: DOI
Paviotti, Marco; Cooksey, Simon; Paradis, Anouk; Wright, Daniel; Owens, Scott; Batty, Mark Modular relaxed dependencies in weak memory concurrency. (English) Zbl 1508.68045 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 599-625 (2020). MSC: 68N19 68N15 68N20 68Q55 PDFBibTeX XMLCite \textit{M. Paviotti} et al., Lect. Notes Comput. Sci. 12075, 599--625 (2020; Zbl 1508.68045) Full Text: DOI
Mamouras, Konstantinos Semantic foundations for deterministic dataflow and stream processing. (English) Zbl 1508.68069 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 394-427 (2020). MSC: 68N30 68Q10 68Q55 PDFBibTeX XMLCite \textit{K. Mamouras}, Lect. Notes Comput. Sci. 12075, 394--427 (2020; Zbl 1508.68069) Full Text: DOI
Cousot, Patrick On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics. (English) Zbl 1502.68078 Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 3-18 (2020). MSC: 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{P. Cousot}, Lect. Notes Comput. Sci. 12042, 3--18 (2020; Zbl 1502.68078) Full Text: DOI
Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. (English) Zbl 1509.03053 Log. Methods Comput. Sci. 16, No. 4, Paper No. 17, 31 p. (2020). MSC: 03B38 03B40 18A40 68N18 68Q55 PDFBibTeX XMLCite \textit{B. Mannaa} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 17, 31 p. (2020; Zbl 1509.03053) Full Text: arXiv Link
Bizjak, Aleš; Ejlers Møgelberg, Rasmus Denotational semantics for guarded dependent type theory. (English) Zbl 1495.68127 Math. Struct. Comput. Sci. 30, No. 4, 342-378 (2020). MSC: 68Q55 03B38 18F20 68N18 PDFBibTeX XMLCite \textit{A. Bizjak} and \textit{R. Ejlers Møgelberg}, Math. Struct. Comput. Sci. 30, No. 4, 342--378 (2020; Zbl 1495.68127) Full Text: DOI arXiv
Tarasyuk, Igor Valerievich Discrete time stochastic and deterministic Petri box calculus dtsdPBC. (English) Zbl 1448.68352 Sib. Èlektron. Mat. Izv. 17, 1598-1679 (2020). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{I. V. Tarasyuk}, Sib. Èlektron. Mat. Izv. 17, 1598--1679 (2020; Zbl 1448.68352) Full Text: DOI
Powell, Thomas A unifying framework for continuity and complexity in higher types. (English) Zbl 07269245 Log. Methods Comput. Sci. 16, No. 3, Paper No. 17, 28 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Powell}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 17, 28 p. (2020; Zbl 07269245) Full Text: arXiv Link
Ehrhard, Thomas Non-idempotent intersection types in logical form. (English) Zbl 07250939 Goubault-Larrecq, Jean (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 12077, 198-216 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{T. Ehrhard}, Lect. Notes Comput. Sci. 12077, 198--216 (2020; Zbl 07250939) Full Text: DOI arXiv
Sheng, Feng; Zhu, Huibiao; He, Jifeng; Yang, Zongyuan; Bowen, Jonathan P. Theoretical and practical approaches to the denotational semantics for MDESL based on UTP. (English) Zbl 1458.68041 Formal Asp. Comput. 32, No. 2-3, 275-314 (2020). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{F. Sheng} et al., Formal Asp. Comput. 32, No. 2--3, 275--314 (2020; Zbl 1458.68041) Full Text: DOI
New, Max S.; Licata, Daniel R. Call-by-name gradual type theory. (English) Zbl 1442.68031 Log. Methods Comput. Sci. 16, No. 1, Paper No. 7, 45 p. (2020). MSC: 68N18 03B70 18C50 68Q55 PDFBibTeX XMLCite \textit{M. S. New} and \textit{D. R. Licata}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 7, 45 p. (2020; Zbl 1442.68031) Full Text: arXiv
Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank Unifying theories of reactive design contracts. (English) Zbl 1436.68195 Theor. Comput. Sci. 802, 105-140 (2020). MSC: 68Q60 68Q55 68V15 PDFBibTeX XMLCite \textit{S. Foster} et al., Theor. Comput. Sci. 802, 105--140 (2020; Zbl 1436.68195) Full Text: DOI arXiv Link
Castellan, Simon; Paquet, Hugo Probabilistic programming inference via intensional semantics. (English) Zbl 1524.68054 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 322-349 (2019). MSC: 68N15 62F15 68N19 68Q55 PDFBibTeX XMLCite \textit{S. Castellan} and \textit{H. Paquet}, Lect. Notes Comput. Sci. 11423, 322--349 (2019; Zbl 1524.68054) Full Text: DOI
Ehrhard, Thomas Differentials and distances in probabilistic coherence spaces. (English) Zbl 1528.68063 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 17, 17 p. (2019). MSC: 68N18 03F52 68Q55 PDFBibTeX XMLCite \textit{T. Ehrhard}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 17, 17 p. (2019; Zbl 1528.68063) Full Text: DOI
Wang, Di; Hoffmann, Jan; Reps, Thomas A denotational semantics for low-level probabilistic programs with nondeterminism. (English) Zbl 07515966 König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 303-324 (2019). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{D. Wang} et al., Electron. Notes Theor. Comput. Sci. 347, 303--324 (2019; Zbl 07515966) Full Text: DOI
Leventis, Thomas; Pagani, Michele Strong adequacy and untyped full-abstraction for probabilistic coherence spaces. (English) Zbl 1524.68059 Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 365-381 (2019). MSC: 68N18 03B40 68Q55 PDFBibTeX XMLCite \textit{T. Leventis} and \textit{M. Pagani}, Lect. Notes Comput. Sci. 11425, 365--381 (2019; Zbl 1524.68059) Full Text: DOI
Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción Forgetting auxiliary atoms in forks. (English) Zbl 1478.68338 Artif. Intell. 275, 575-601 (2019). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{F. Aguado} et al., Artif. Intell. 275, 575--601 (2019; Zbl 1478.68338) Full Text: DOI HAL
Kavanagh, Ryan; Brookes, Stephen A denotational semantics for SPARC TSO. (English) Zbl 1421.68096 Log. Methods Comput. Sci. 15, No. 2, Paper No. 10, 23 p. (2019). MSC: 68Q55 68M07 68N30 68Q85 PDFBibTeX XMLCite \textit{R. Kavanagh} and \textit{S. Brookes}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 10, 23 p. (2019; Zbl 1421.68096) Full Text: arXiv
Severi, Paula A light modality for recursion. (English) Zbl 1486.68034 Log. Methods Comput. Sci. 15, No. 1, Paper No. 8, 32 p. (2019). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{P. Severi}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 8, 32 p. (2019; Zbl 1486.68034) Full Text: arXiv
Miñana, Juan-José; Valero, Óscar What is the aggregation of a partial metric and a quasi-metric? (English) Zbl 1512.68365 Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 231-243 (2018). MSC: 68T37 68Q55 68W40 PDFBibTeX XMLCite \textit{J.-J. Miñana} and \textit{Ó. Valero}, Commun. Comput. Inf. Sci. 853, 231--243 (2018; Zbl 1512.68365) Full Text: DOI
Kammar, Ohad; McDermott, Dylan Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. (English) Zbl 1527.68041 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 239-260 (2018). MSC: 68N30 18A32 18C15 18C50 68N18 68Q55 PDFBibTeX XMLCite \textit{O. Kammar} and \textit{D. McDermott}, Electron. Notes Theor. Comput. Sci. 341, 239--260 (2018; Zbl 1527.68041) Full Text: DOI arXiv
Kavanagh, Ryan; Brookes, Stephen A denotational semantics for SPARC TSO. (English) Zbl 1525.68072 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 223-239 (2018). MSC: 68Q55 68M07 68Q85 PDFBibTeX XMLCite \textit{R. Kavanagh} and \textit{S. Brookes}, Electron. Notes Theor. Comput. Sci. 336, 223--239 (2018; Zbl 1525.68072) Full Text: DOI
Glück, Robert; Kaarsgaard, Robin A categorical foundation for structured reversible flowchart languages. (English) Zbl 1525.68025 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 155-171 (2018). MSC: 68N30 18C50 68N15 68Q55 PDFBibTeX XMLCite \textit{R. Glück} and \textit{R. Kaarsgaard}, Electron. Notes Theor. Comput. Sci. 336, 155--171 (2018; Zbl 1525.68025) Full Text: DOI
New, Max S.; Licata, Daniel R. Call-by-name gradual type theory. (English) Zbl 1462.68024 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 24, 17 p. (2018). MSC: 68N18 03B38 18C50 68Q55 PDFBibTeX XMLCite \textit{M. S. New} and \textit{D. R. Licata}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 24, 17 p. (2018; Zbl 1462.68024) Full Text: DOI
Bacci, Giorgio; Furber, Robert; Kozen, Dexter; Mardare, Radu; Panangaden, Prakash; Scott, Dana Boolean-valued semantics for the stochastic \(\lambda \)-calculus. (English) Zbl 1453.03006 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 669-678 (2018). MSC: 03B40 68N18 68Q55 PDFBibTeX XMLCite \textit{G. Bacci} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 669--678 (2018; Zbl 1453.03006) Full Text: DOI Link
Crubillé, Raphaëlle Probabilistic stable functions on discrete cones are power series. (English) Zbl 1502.68169 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 275-284 (2018). MSC: 68Q55 03B40 18C50 18D15 PDFBibTeX XMLCite \textit{R. Crubillé}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 275--284 (2018; Zbl 1502.68169) Full Text: DOI
López-Ramírez, María; Valero, Oscar Qualitative versus quantitative fixed point techniques in computer science. (English) Zbl 07117255 Quaest. Math. 41, No. 1, 115-127 (2018). MSC: 47H10 54E50 54F05 68Q55 68Q25 68N30 PDFBibTeX XMLCite \textit{M. López-Ramírez} and \textit{O. Valero}, Quaest. Math. 41, No. 1, 115--127 (2018; Zbl 07117255) Full Text: DOI
Tarasyuk, Igor’ Valer’evich; Macià Soler, Hermenegilda; Valero Ruiz, Valentín Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. (English) Zbl 1414.60062 Sib. Èlektron. Mat. Izv. 15, 1743-1812 (2018). MSC: 60J20 60J10 60K15 68Q85 PDFBibTeX XMLCite \textit{I. V. Tarasyuk} et al., Sib. Èlektron. Mat. Izv. 15, 1743--1812 (2018; Zbl 1414.60062) Full Text: DOI arXiv
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. (English) Zbl 1398.68373 Formal Asp. Comput. 30, No. 3-4, 351-380 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. Shi} et al., Formal Asp. Comput. 30, No. 3--4, 351--380 (2018; Zbl 1398.68373) Full Text: DOI Link
Aguado, F.; Ascariz, P.; Cabalar, P.; Pérez, G.; Vidal, C. Verification for ASP denotational semantics: a case study using the PVS theorem prover. (English) Zbl 1407.68429 Log. J. IGPL 25, No. 2, 195-213 (2017). MSC: 68T15 PDFBibTeX XMLCite \textit{F. Aguado} et al., Log. J. IGPL 25, No. 2, 195--213 (2017; Zbl 1407.68429) Full Text: DOI
Todoran, Eneia Nicolae; Papaspyrou, Nikolaos Concurrency semantics in continuation-passing style. (English) Zbl 1377.68152 Fundam. Inform. 153, No. 1-2, 125-146 (2017). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{E. N. Todoran} and \textit{N. Papaspyrou}, Fundam. Inform. 153, No. 1--2, 125--146 (2017; Zbl 1377.68152) Full Text: DOI
Paykin, Jennifer; Rand, Robert; Zdancewic, Steve QWIRE: a core language for quantum circuits. (English) Zbl 1380.68087 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 846-858 (2017). MSC: 68N15 68N30 81P68 PDFBibTeX XMLCite \textit{J. Paykin} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 846--858 (2017; Zbl 1380.68087) Full Text: DOI
Salvati, Sylvain; Walukiewicz, Igor Typing weak MSOL properties. (English) Zbl 1448.68316 Log. Methods Comput. Sci. 13, No. 1, Paper No. 14, 27 p. (2017). MSC: 68Q60 03B16 68N18 PDFBibTeX XMLCite \textit{S. Salvati} and \textit{I. Walukiewicz}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 14, 27 p. (2017; Zbl 1448.68316) Full Text: DOI arXiv
Ngondi, Gerard Ekembe; Woodcock, Jim UTP semantics of reactive processes with continuations. (English) Zbl 1483.68087 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 114-133 (2017). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{G. E. Ngondi} and \textit{J. Woodcock}, Lect. Notes Comput. Sci. 10134, 114--133 (2017; Zbl 1483.68087) Full Text: DOI
Hasuo, Ichiro; Hoshino, Naohiko Semantics of higher-order quantum computation via geometry of interaction. (English) Zbl 1422.68161 Ann. Pure Appl. Logic 168, No. 2, 404-469 (2017). MSC: 68Q55 03B70 18C20 18C50 68Q05 81P68 PDFBibTeX XMLCite \textit{I. Hasuo} and \textit{N. Hoshino}, Ann. Pure Appl. Logic 168, No. 2, 404--469 (2017; Zbl 1422.68161) Full Text: DOI arXiv
Seiller, Thomas Interaction graphs: graphings. (English) Zbl 1422.03131 Ann. Pure Appl. Logic 168, No. 2, 278-320 (2017). MSC: 03F52 03B70 68Q55 37A40 PDFBibTeX XMLCite \textit{T. Seiller}, Ann. Pure Appl. Logic 168, No. 2, 278--320 (2017; Zbl 1422.03131) Full Text: DOI arXiv
Cho, Kenta Semantics for a quantum programming language by operator algebras. (English) Zbl 1443.68041 New Generation Comput. 34, No. 1-2, 25-68 (2016). MSC: 68N15 46L05 68Q55 81P68 PDFBibTeX XMLCite \textit{K. Cho}, New Generation Comput. 34, No. 1--2, 25--68 (2016; Zbl 1443.68041) Full Text: DOI arXiv
Møgelberg, Rasmus Ejlers; Paviotti, Marco Denotational semantics of recursive types in synthetic guarded domain theory. (English) Zbl 1401.68047 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 317-326 (2016). MSC: 68N30 68N18 68Q55 PDFBibTeX XMLCite \textit{R. E. Møgelberg} and \textit{M. Paviotti}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 317--326 (2016; Zbl 1401.68047) Full Text: DOI arXiv Link
Gehrke, Mai Duality in computer science. (English) Zbl 1392.68268 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 12-26 (2016). MSC: 68Q70 03B45 06D50 06E15 68Q55 PDFBibTeX XMLCite \textit{M. Gehrke}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 12--26 (2016; Zbl 1392.68268) Full Text: DOI
Sato, Tetsuya Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016). MSC: 68Q60 03B70 18C15 68P15 68P25 68Q55 68Q87 PDFBibTeX XMLCite \textit{T. Sato}, Electron. Notes Theor. Comput. Sci. 325, 277--298 (2016; Zbl 1401.68206) Full Text: DOI arXiv
Mestel, David; Roscoe, A. W. Reducing complex CSP models to traces via priority. (English) Zbl 1392.68310 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 237-252 (2016). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. Mestel} and \textit{A. W. Roscoe}, Electron. Notes Theor. Comput. Sci. 325, 237--252 (2016; Zbl 1392.68310) Full Text: DOI
Geron, Bram; Levy, Paul Blain Iteration and labelled iteration. (English) Zbl 1394.68061 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 127-146 (2016). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{B. Geron} and \textit{P. B. Levy}, Electron. Notes Theor. Comput. Sci. 325, 127--146 (2016; Zbl 1394.68061) Full Text: DOI
Vandenbroucke, Alexander; Piróg, Maciej; Desouter, Benoit; Schrijvers, Tom Tabling with sound answer subsumption. (English) Zbl 1379.68084 Theory Pract. Log. Program. 16, No. 5-6, 933-949 (2016). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{A. Vandenbroucke} et al., Theory Pract. Log. Program. 16, No. 5--6, 933--949 (2016; Zbl 1379.68084) Full Text: DOI arXiv
Laird, James Weighted relational models for mobility. (English) Zbl 1387.68163 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 24, 15 p. (2016). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{J. Laird}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 24, 15 p. (2016; Zbl 1387.68163) Full Text: DOI
Laird, James Polymorphic game semantics for dynamic binding. (English) Zbl 1369.68144 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 27, 16 p. (2016). MSC: 68N30 68N15 68N18 68Q55 PDFBibTeX XMLCite \textit{J. Laird}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 27, 16~p. (2016; Zbl 1369.68144) Full Text: DOI
Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald; Grathwohl, Hans Bugge; Spitters, Bas; Vezzosi, Andrea Guarded cubical type theory: path equality for guarded recursion. (English) Zbl 1370.68052 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 23, 17 p. (2016). MSC: 68N30 03B15 03B70 03G30 55U40 68Q55 68T15 PDFBibTeX XMLCite \textit{L. Birkedal} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 23, 17~p. (2016; Zbl 1370.68052) Full Text: DOI arXiv
Arntzenius, Michael; Krishnaswami, Neelakantan R. Datafun: a functional Datalog. (English) Zbl 1360.68312 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 214-227 (2016). MSC: 68N18 68N17 68Q55 PDFBibTeX XMLCite \textit{M. Arntzenius} and \textit{N. R. Krishnaswami}, in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 214--227 (2016; Zbl 1360.68312) Full Text: DOI Link
Clouston, Ranald; Bizjak, Aleš; Grathwohl, Hans Bugge; Birkedal, Lars The guarded lambda-calculus: programming and reasoning with guarded recursion for coinductive types. (English) Zbl 1445.03012 Log. Methods Comput. Sci. 12, No. 3, Paper No. 7, 39 p. (2016). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{R. Clouston} et al., Log. Methods Comput. Sci. 12, No. 3, Paper No. 7, 39 p. (2016; Zbl 1445.03012) Full Text: DOI arXiv
Seiller, Thomas Interaction graphs: additives. (English) Zbl 1433.03148 Ann. Pure Appl. Logic 167, No. 2, 95-154 (2016). MSC: 03F52 03F05 68Q55 PDFBibTeX XMLCite \textit{T. Seiller}, Ann. Pure Appl. Logic 167, No. 2, 95--154 (2016; Zbl 1433.03148) Full Text: DOI arXiv
Smetsers, Sjaak; Madlener, Ken; van Eekelen, Marko Formalizing bialgebraic semantics in PVS 6.0. (English) Zbl 1428.68179 Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 47-61 (2015). MSC: 68Q55 68N30 68V20 PDFBibTeX XMLCite \textit{S. Smetsers} et al., OASIcs -- OpenAccess Ser. Inform. 46, 47--61 (2015; Zbl 1428.68179) Full Text: DOI
Shahzad, Naseer; Valero, Oscar; Alghamdi, Mohammed A.; Alghamdi, Maryam A. A fixed point theorem in partial quasi-metric spaces and an application to software engineering. (English) Zbl 1410.54051 Appl. Math. Comput. 268, 1292-1301 (2015). MSC: 54H25 54E50 54F05 68N30 68Q25 68Q55 68Q60 PDFBibTeX XMLCite \textit{N. Shahzad} et al., Appl. Math. Comput. 268, 1292--1301 (2015; Zbl 1410.54051) Full Text: DOI
Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia Abstract interpretation of temporal concurrent constraint programs. (English) Zbl 1379.68060 Theory Pract. Log. Program. 15, No. 3, 312-357 (2015). MSC: 68N17 68Q55 68Q85 PDFBibTeX XMLCite \textit{M. Falaschi} et al., Theory Pract. Log. Program. 15, No. 3, 312--357 (2015; Zbl 1379.68060) Full Text: DOI arXiv
Amini, Shahin; Erhard, Thomas On classical PCF, linear logic and the MIX rule. (English) Zbl 1373.68172 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 582-596 (2015). MSC: 68N18 03F52 68Q55 PDFBibTeX XMLCite \textit{S. Amini} and \textit{T. Erhard}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 582--596 (2015; Zbl 1373.68172) Full Text: DOI
Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars A model of PCF in guarded type theory. (English) Zbl 1351.68063 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, 333-349, electronic only (2015). MSC: 68N18 03B15 03B70 68N30 68Q55 PDFBibTeX XMLCite \textit{M. Paviotti} et al., Electron. Notes Theor. Comput. Sci. 319, 333--349 (2015; Zbl 1351.68063) Full Text: DOI
Ancona, Davide; Dovier, Agostino A theoretical perspective of coinductive logic programming. (English) Zbl 1348.68028 Fundam. Inform. 140, No. 3-4, 221-246 (2015). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Ancona} and \textit{A. Dovier}, Fundam. Inform. 140, No. 3--4, 221--246 (2015; Zbl 1348.68028) Full Text: DOI
Shen, Chong; Zhang, Shanshan; Yao, Wei; Zhang, Changcheng A generalization of the Chen-Wu duality into quantale-valued setting. (English) Zbl 1357.68108 Iran. J. Fuzzy Syst. 12, No. 6, 129-140 (2015). MSC: 68Q55 06B35 06F07 PDFBibTeX XMLCite \textit{C. Shen} et al., Iran. J. Fuzzy Syst. 12, No. 6, 129--140 (2015; Zbl 1357.68108) Full Text: Link
Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip Denotational semantics and its algebraic derivation for an event-driven system-level language. (English) Zbl 1347.68039 Formal Asp. Comput. 27, No. 1, 133-166 (2015). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{H. Zhu} et al., Formal Asp. Comput. 27, No. 1, 133--166 (2015; Zbl 1347.68039) Full Text: DOI Link
Martin, Eric A. Logic programming as classical inference. (English) Zbl 1521.68030 J. Appl. Log. 13, No. 3, 316-369 (2015). MSC: 68N17 03B45 68Q55 PDFBibTeX XMLCite \textit{E. A. Martin}, J. Appl. Log. 13, No. 3, 316--369 (2015; Zbl 1521.68030) Full Text: DOI
Misra, Jayadev A denotational semantic theory of concurrent systems. (English) Zbl 1321.68362 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 493-518 (2015). MSC: 68Q85 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{J. Misra}, Lect. Notes Comput. Sci. 9200, 493--518 (2015; Zbl 1321.68362) Full Text: DOI
Salvati, Sylvain; Walukiewicz, Igor Using models to model-check recursive schemes. (English) Zbl 1391.68080 Log. Methods Comput. Sci. 11, No. 2, Paper No. 7, 27 p. (2015). MSC: 68Q60 03B40 68N30 68Q45 68Q55 PDFBibTeX XMLCite \textit{S. Salvati} and \textit{I. Walukiewicz}, Log. Methods Comput. Sci. 11, No. 2, Paper No. 7, 27 p. (2015; Zbl 1391.68080) Full Text: DOI
Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng A UTP semantic model for Orc language with execution status and fault handling. (English) Zbl 1403.68041 Front. Comput. Sci. 8, No. 5, 709-725 (2014). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{Q. Li} et al., Front. Comput. Sci. 8, No. 5, 709--725 (2014; Zbl 1403.68041) Full Text: DOI
Perrinel, Matthieu On context semantics and interaction nets. (English) Zbl 1401.68176 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 73, 10 p. (2014). MSC: 68Q55 03B70 03F52 68Q42 PDFBibTeX XMLCite \textit{M. Perrinel}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 73, 10 p. (2014; Zbl 1401.68176) Full Text: DOI
Møgelberg, Rasmus Ejlers A type theory for productive coprogramming via guarded recursion. (English) Zbl 1394.68066 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 71, 10 p. (2014). MSC: 68N18 03G30 18A15 18B25 18D15 68Q55 PDFBibTeX XMLCite \textit{R. E. Møgelberg}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 71, 10 p. (2014; Zbl 1394.68066) Full Text: DOI
Brookes, Stephen On grainless footprint semantics for shared-memory programs. (English) Zbl 1337.68060 Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 65-86, electronic only (2014). MSC: 68N19 68N30 68Q55 PDFBibTeX XMLCite \textit{S. Brookes}, Electron. Notes Theor. Comput. Sci. 308, 65--86 (2014; Zbl 1337.68060) Full Text: DOI
AbdelGawad, Moez A. A domain-theoretic model of nominally-typed object-oriented programming. (English) Zbl 1337.68059 Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014). MSC: 68N19 68Q55 PDFBibTeX XMLCite \textit{M. A. AbdelGawad}, Electron. Notes Theor. Comput. Sci. 301, 3--19 (2014; Zbl 1337.68059) Full Text: DOI
Battenfeld, Ingo Observationally-induced algebras in domain theory. (English) Zbl 1337.68158 Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 21-37, electronic only (2014). MSC: 68Q55 06B35 PDFBibTeX XMLCite \textit{I. Battenfeld}, Electron. Notes Theor. Comput. Sci. 301, 21--37 (2014; Zbl 1337.68158) Full Text: DOI
Bukatin, Michael; Kopperman, Ralph; Matthews, Steve Some corollaries of the correspondence between partial metrics and multivalued equalities. (English) Zbl 1337.54004 Fuzzy Sets Syst. 256, 57-72 (2014). Reviewer: Hans Peter Künzi (Rondebosch) MSC: 54B40 06B35 68Q55 PDFBibTeX XMLCite \textit{M. Bukatin} et al., Fuzzy Sets Syst. 256, 57--72 (2014; Zbl 1337.54004) Full Text: DOI
Lösch, Steffen; Pitts, Andrew M. Denotational semantics with nominal Scott domains. (English) Zbl 1321.68202 J. ACM 61, No. 4, Article No. 27, 46 p. (2014). MSC: 68N30 68N15 68N18 68Q55 PDFBibTeX XMLCite \textit{S. Lösch} and \textit{A. M. Pitts}, J. ACM 61, No. 4, Article No. 27, 46 p. (2014; Zbl 1321.68202) Full Text: DOI Link
Zhang, Peng; Liu, Lei; Liu, Huaxiao; Jin, Ying Denotational semantics of tabular expressions. (Chinese. English summary) Zbl 1313.68074 J. Softw. 25, No. 6, 1212-1224 (2014). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{P. Zhang} et al., J. Softw. 25, No. 6, 1212--1224 (2014; Zbl 1313.68074) Full Text: DOI
Battenfeld, Ingo; Keimel, Klaus; Streicher, Thomas Observationally-induced algebras in domain theory. (English) Zbl 1342.68192 Log. Methods Comput. Sci. 10, No. 3, Paper No. 18, 26 p. (2014). MSC: 68Q55 06B35 18C50 PDFBibTeX XMLCite \textit{I. Battenfeld} et al., Log. Methods Comput. Sci. 10, No. 3, Paper No. 18, 26 p. (2014; Zbl 1342.68192) Full Text: DOI arXiv
Aït-Kaci, Hassan An abstract, reusable, and extensible programming language design architecture. (English) Zbl 1397.68023 Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013). MSC: 68N15 68N18 68Q55 PDFBibTeX XMLCite \textit{H. Aït-Kaci}, Lect. Notes Comput. Sci. 8000, 112--166 (2013; Zbl 1397.68023) Full Text: DOI
Laird, Jim; Manzonetto, Giulio; McCusker, Guy; Pagani, Michele Weighted relational models of typed lambda-calculi. (English) Zbl 1366.03171 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 301-310 (2013). MSC: 03B40 03F52 18C20 18D20 68Q55 PDFBibTeX XMLCite \textit{J. Laird} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 301--310 (2013; Zbl 1366.03171) Full Text: DOI
Foster, Simon; Woodcock, Jim Unifying theories of programming in Isabelle. (English) Zbl 1444.68049 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013). MSC: 68N30 68Q55 68V15 68V20 PDFBibTeX XMLCite \textit{S. Foster} and \textit{J. Woodcock}, Lect. Notes Comput. Sci. 8050, 109--155 (2013; Zbl 1444.68049) Full Text: DOI Link
Charalambidis, Angelos; Handjopoulos, Konstantinos; Rondogiannis, Panagiotis; Wadge, William W. Extensional higher-order logic programming. (English) Zbl 1353.68031 ACM Trans. Comput. Log. 14, No. 3, Article No. 21, 40 p. (2013). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{A. Charalambidis} et al., ACM Trans. Comput. Log. 14, No. 3, Article No. 21, 40 p. (2013; Zbl 1353.68031) Full Text: DOI arXiv
Amir-Mohammadian, Sepehr; Fallah, Mehran S. Noninterference in a predicative polymorphic calculus for access control. (English) Zbl 1308.68026 Comput. Lang. Syst. Struct. 39, No. 3, 109-120 (2013). MSC: 68N15 68N18 68Q55 PDFBibTeX XMLCite \textit{S. Amir-Mohammadian} and \textit{M. S. Fallah}, Comput. Lang. Syst. Struct. 39, No. 3, 109--120 (2013; Zbl 1308.68026) Full Text: DOI
Lösch, Steffen; Pitts, Andrew M. Full abstraction for nominal Scott domains. (English) Zbl 1301.68103 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 3-14 (2013). MSC: 68N30 06B35 68N15 68Q55 PDFBibTeX XMLCite \textit{S. Lösch} and \textit{A. M. Pitts}, in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 3--14 (2013; Zbl 1301.68103) Full Text: DOI
Martín, J.; Mayor, G.; Valero, O. On quasi-metric aggregation functions and fixed point theorems. (English) Zbl 1284.54061 Fuzzy Sets Syst. 228, 88-104 (2013). MSC: 54H25 68Q55 PDFBibTeX XMLCite \textit{J. Martín} et al., Fuzzy Sets Syst. 228, 88--104 (2013; Zbl 1284.54061) Full Text: DOI
Guerra, Hélia; Costa, José Félix Processes with infinite liveness requirements. (English) Zbl 1510.68058 J. Log. Algebr. Program. 82, No. 3-4, 137-161 (2013). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{H. Guerra} and \textit{J. F. Costa}, J. Log. Algebr. Program. 82, No. 3--4, 137--161 (2013; Zbl 1510.68058) Full Text: DOI
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen Measure transformer semantics for Bayesian machine learning. (English) Zbl 1274.68295 Log. Methods Comput. Sci. 9, No. 3, Paper No. 11, 39 p. (2013). MSC: 68T05 68N15 PDFBibTeX XMLCite \textit{J. Borgström} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 11, 39 p. (2013; Zbl 1274.68295) Full Text: DOI
Anberrée, Thomas First-order universality for real programs. (English) Zbl 1270.03049 J. Log. Comput. 23, No. 4, 729-751 (2013). MSC: 03B70 03D78 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{T. Anberrée}, J. Log. Comput. 23, No. 4, 729--751 (2013; Zbl 1270.03049) Full Text: DOI
Vaux, Lionel A non-uniform finitary relational semantics of system \(T\). (English) Zbl 1338.03051 RAIRO, Theor. Inform. Appl. 47, No. 1, 111-132 (2013). Reviewer: Basil Karadais (München) MSC: 03B70 03D65 03B40 68Q55 PDFBibTeX XMLCite \textit{L. Vaux}, RAIRO, Theor. Inform. Appl. 47, No. 1, 111--132 (2013; Zbl 1338.03051) Full Text: DOI