Protin, M. Clarence Type inhabitation of atomic polymorphism is undecidable. (English) Zbl 07332112 J. Log. Comput. 31, No. 2, 416-425 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{M. C. Protin}, J. Log. Comput. 31, No. 2, 416--425 (2021; Zbl 07332112) Full Text: DOI
Hasegawa, Ryu Complete call-by-value calculi of control operators. II: Strong termination. (English) Zbl 07327951 Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{R. Hasegawa}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021; Zbl 07327951) Full Text: Link arXiv
Kim, Dae San; Kim, Taekyun Degenerate Sheffer sequences and \(\lambda \)-Sheffer sequences. (English) Zbl 07265513 J. Math. Anal. Appl. 493, No. 1, Article ID 124521, 21 p. (2021). MSC: 11B83 26 40 PDF BibTeX XML Cite \textit{D. S. Kim} and \textit{T. Kim}, J. Math. Anal. Appl. 493, No. 1, Article ID 124521, 21 p. (2021; Zbl 07265513) Full Text: DOI
Urciuoli, Sebastián; Tasistro, Álvaro; Szasz, Nora Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. (English) Zbl 07313971 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 187-203 (2020). MSC: 03B70 68Q55 68T27 PDF BibTeX XML Cite \textit{S. Urciuoli} et al., Electron. Notes Theor. Comput. Sci. 351, 187--203 (2020; Zbl 07313971) Full Text: DOI
Pezlar, Ivo Composition of deductions within the propositions-as-types paradigm. (English) Zbl 07311775 Log. Univers. 14, No. 4, 481-493 (2020). MSC: 03F03 03B40 03B15 PDF BibTeX XML Cite \textit{I. Pezlar}, Log. Univers. 14, No. 4, 481--493 (2020; Zbl 07311775) Full Text: DOI
Kesner, Delia; Vial, Pierre Consuming and persistent types for classical logic. (English) Zbl 07299500 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 619-632 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{D. Kesner} and \textit{P. Vial}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 619--632 (2020; Zbl 07299500) Full Text: DOI
Curzi, Gianluca; Pagani, Michele The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 07299479 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 327-340 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{G. Curzi} and \textit{M. Pagani}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 327--340 (2020; Zbl 07299479) Full Text: DOI
Bono, Viviana; Dezani-Ciancaglini, Mariangiola A tale of intersection types. (English) Zbl 07299454 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 7-20 (2020). MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{V. Bono} and \textit{M. Dezani-Ciancaglini}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 7--20 (2020; Zbl 07299454) Full Text: DOI
Nakano, Keisuke (ed.); Sagonas, Konstantinos (ed.) Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. (English) Zbl 07294390 Lecture Notes in Computer Science 12073. Cham: Springer (ISBN 978-3-030-59024-6/pbk; 978-3-030-59025-3/ebook). xii, 221 p. (2020). MSC: 68-06 68N17 68N18 00B25 PDF BibTeX XML Cite \textit{K. Nakano} (ed.) and \textit{K. Sagonas} (ed.), Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14--16, 2020. Proceedings. Cham: Springer (2020; Zbl 07294390) Full Text: DOI
Vasenin, V. A.; Krivchikov, M. A. Intermediate representation of programs with type specification based on pattern matching. (English. Russian original) Zbl 1455.68040 Program. Comput. Softw. 46, No. 1, 57-66 (2020); translation from Programmirovanie 46, No. 1, 63-74 (2020). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{V. A. Vasenin} and \textit{M. A. Krivchikov}, Program. Comput. Softw. 46, No. 1, 57--66 (2020; Zbl 1455.68040); translation from Programmirovanie 46, No. 1, 63--74 (2020) Full Text: DOI
Weber, Matthias An extended type system with lambda-typed lambda-expressions. (English) Zbl 07285579 Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. Weber}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 12, 50 p. (2020; Zbl 07285579) Full Text: Link arXiv
Cerna, David M.; Kutsia, Temur Higher-order pattern generalization modulo equational theories. (English) Zbl 07283031 Math. Struct. Comput. Sci. 30, No. 6, 627-663 (2020). MSC: 68 PDF BibTeX XML Cite \textit{D. M. Cerna} and \textit{T. Kutsia}, Math. Struct. Comput. Sci. 30, No. 6, 627--663 (2020; Zbl 07283031) Full Text: DOI
Hasegawa, Ryu A categorical reduction system for linear logic. (English) Zbl 1453.03008 Theory Appl. Categ. 35, 1833-1870 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B40 03G30 03F52 68Q42 PDF BibTeX XML Cite \textit{R. Hasegawa}, Theory Appl. Categ. 35, 1833--1870 (2020; Zbl 1453.03008) Full Text: Link
Daǧadur, Ilhan; Çatal, Cumali Convergence of Nörlund and Riesz submethods of Mellin-Fourier series. (English) Zbl 07274318 J. Adv. Math. Stud. 13, No. 2, 155-162 (2020). MSC: 42A20 42A38 44A99 40C05 PDF BibTeX XML Cite \textit{I. Daǧadur} and \textit{C. Çatal}, J. Adv. Math. Stud. 13, No. 2, 155--162 (2020; Zbl 07274318) Full Text: Link
Ekici, Burak; Kaliszyk, Cezary Mac Lane’s comparison theorem for the Kleisli construction formalized in Coq. (English) Zbl 07268443 Math. Comput. Sci. 14, No. 3, 533-549 (2020). MSC: 68N17 68N18 03F50 18A15 18A40 PDF BibTeX XML Cite \textit{B. Ekici} and \textit{C. Kaliszyk}, Math. Comput. Sci. 14, No. 3, 533--549 (2020; Zbl 07268443) Full Text: DOI
Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 122-139 (2020). MSC: 68P15 68T27 68T35 68U35 PDF BibTeX XML Cite \textit{S. Ghilezan} et al., Lect. Notes Comput. Sci. 12012, 122--139 (2020; Zbl 07266049) Full Text: DOI
Krasko, E. S.; Labutin, I. N.; Moskvin, D. N.; Omelchenko, A. V.; Khrabrov, A. I. On some enumerative problems in lambda calculus. (English. Russian original) Zbl 07253502 J. Math. Sci., New York 247, No. 3, 442-456 (2020); translation from Zap. Nauchn. Semin. POMI 475, 99-121 (2018). MSC: 68N18 05A15 PDF BibTeX XML Cite \textit{E. S. Krasko} et al., J. Math. Sci., New York 247, No. 3, 442--456 (2020; Zbl 07253502); translation from Zap. Nauchn. Semin. POMI 475, 99--121 (2018) Full Text: DOI
Sherratt, David; Heijltjes, Willem; Gundersen, Tom; Parigot, Michel Spinal atomic \(\lambda\)-calculus. (English) Zbl 07250958 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 (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 582-601 (2020). MSC: 03B40 PDF BibTeX XML Cite \textit{D. Sherratt} et al., Lect. Notes Comput. Sci. 12077, 582--601 (2020; Zbl 07250958) Full Text: DOI
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 (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 198-216 (2020). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{T. Ehrhard}, Lect. Notes Comput. Sci. 12077, 198--216 (2020; Zbl 07250939) Full Text: DOI
Abel, Andreas; Cockx, Jesper; Devriese, Dominique; Timany, Amin; Wadler, Philip Leibniz equality is isomorphic to Martin-Löf identity, parametrically. (English) Zbl 07245571 J. Funct. Program. 30, Paper No. e17, 14 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{A. Abel} et al., J. Funct. Program. 30, Paper No. e17, 14 p. (2020; Zbl 07245571) Full Text: DOI
Karachalias, Georgios; Pretnar, Matija; Saleh, Amr Hany; Vanderhallen, Stien; Schrijvers, Tom Explicit effect subtyping. (English) Zbl 07245569 J. Funct. Program. 30, Paper No. e15, 57 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{G. Karachalias} et al., J. Funct. Program. 30, Paper No. e15, 57 p. (2020; Zbl 07245569) Full Text: DOI
Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia Tight typings and split bounds, fully developed. (English) Zbl 07245568 J. Funct. Program. 30, Paper No. e14, 101 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{B. Accattoli} et al., J. Funct. Program. 30, Paper No. e14, 101 p. (2020; Zbl 07245568) Full Text: DOI
Lukšič, Žiga; Pretnar, Matija Local algebraic effect theories. (English) Zbl 07245567 J. Funct. Program. 30, Paper No. e13, 27 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{Ž. Lukšič} and \textit{M. Pretnar}, J. Funct. Program. 30, Paper No. e13, 27 p. (2020; Zbl 07245567) Full Text: DOI
Perez, Ivan; Goodloe, Alwyn E. Fault-tolerant functional reactive programming (extended version). (English) Zbl 07245566 J. Funct. Program. 30, Paper No. e12, 41 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{I. Perez} and \textit{A. E. Goodloe}, J. Funct. Program. 30, Paper No. e12, 41 p. (2020; Zbl 07245566) Full Text: DOI
Popescu, Gelu Functional calculus and multi-analytic models on regular \(\Lambda \)-polyballs. (English) Zbl 07244671 J. Math. Anal. Appl. 491, No. 1, Article ID 124312, 31 p. (2020). MSC: 47A13 PDF BibTeX XML Cite \textit{G. Popescu}, J. Math. Anal. Appl. 491, No. 1, Article ID 124312, 31 p. (2020; Zbl 07244671) Full Text: DOI
Ferreira, Fernando The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. (English) Zbl 1455.03077 Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020). Reviewer: Bruno Dinis (Lisboa) MSC: 03F10 03F35 03F50 03B40 03F25 PDF BibTeX XML Cite \textit{F. Ferreira}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020; Zbl 1455.03077) Full Text: DOI
Curzi, Gianluca; Roversi, Luca A type-assignment of linear erasure and duplication. (English) Zbl 07239089 Theor. Comput. Sci. 837, 26-53 (2020). MSC: 03F52 03B40 68Q06 PDF BibTeX XML Cite \textit{G. Curzi} and \textit{L. Roversi}, Theor. Comput. Sci. 837, 26--53 (2020; Zbl 07239089) Full Text: DOI
Gürlebeck, Klaus; Legatiuk, Dmitrii; Nilsson, Henrik; Smarsly, Kay Conceptual modelling: towards detecting modelling errors in engineering applications. (English) Zbl 1445.00009 Math. Methods Appl. Sci. 43, No. 3, 1243-1252 (2020). MSC: 00A71 68N18 68Q55 68Q60 PDF BibTeX XML Cite \textit{K. Gürlebeck} et al., Math. Methods Appl. Sci. 43, No. 3, 1243--1252 (2020; Zbl 1445.00009) Full Text: DOI
Jiang, Nan; Li, Qing’an; Wang, Lumeng; Zhang, Xiaotong; He, Yanxiang Overview on mechanized theorem proving. (Chinese. English summary) Zbl 1449.68143 J. Softw. 31, No. 1, 82-112 (2020). MSC: 68V15 03B35 03B70 68Q60 68-02 PDF BibTeX XML Cite \textit{N. Jiang} et al., J. Softw. 31, No. 1, 82--112 (2020; Zbl 1449.68143) Full Text: DOI
Bird, Richard; Gibbons, Jeremy Algorithm design with Haskell. (English) Zbl 1440.68002 Cambridge: Cambridge University Press (ISBN 978-1-108-49161-7/hbk; 978-1-108-86904-1/ebook). xvi, 437 p. (2020). MSC: 68-01 68N18 68W01 PDF BibTeX XML Cite \textit{R. Bird} and \textit{J. Gibbons}, Algorithm design with Haskell. Cambridge: Cambridge University Press (2020; Zbl 1440.68002) Full Text: DOI
Kerinec, Emma; Manzonetto, Giulio; Pagani, Michele Revisiting call-by-value Böhm trees in light of their Taylor expansion. (English) Zbl 07226008 Log. Methods Comput. Sci. 16, No. 3, Paper No. 6, 26 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{E. Kerinec} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 6, 26 p. (2020; Zbl 07226008) Full Text: Link arXiv
Polonsky, Andrew Fixed point combinators as fixed points of higher-order fixed point generators. (English) Zbl 07226002 Log. Methods Comput. Sci. 16, No. 3, Paper No. 7, 17 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{A. Polonsky}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 7, 17 p. (2020; Zbl 07226002) Full Text: Link arXiv
Al-Sibahi, Ahmad Salim; Jensen, Thomas; Møgelberg, Rasmus Ejlers; Wąsowski, Andrzej Galois connections for recursive types. (English) Zbl 1440.68042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020). MSC: 68N18 06A15 68N15 68N30 68Q42 PDF BibTeX XML Cite \textit{A. S. Al-Sibahi} et al., Lect. Notes Comput. Sci. 12065, 105--131 (2020; Zbl 1440.68042) Full Text: DOI
Di Pierro, Alessandra A type theory for probabilistic \(\lambda \)-calculus. (English) Zbl 1440.68043 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 86-102 (2020). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{A. Di Pierro}, Lect. Notes Comput. Sci. 12065, 86--102 (2020; Zbl 1440.68043) Full Text: DOI
Terwijn, Sebastiaan A. The noneffectivity of Arslanov’s completeness criterion and related theorems. (English) Zbl 07222139 Arch. Math. Logic 59, No. 5-6, 703-713 (2020). MSC: 03D25 03D28 03B40 PDF BibTeX XML Cite \textit{S. A. Terwijn}, Arch. Math. Logic 59, No. 5--6, 703--713 (2020; Zbl 07222139) Full Text: DOI
Mokhov, Andrey; Mitchell, Neil; Peyton Jones, Simon Build systems à la carte: theory and practice. (English) Zbl 1442.68029 J. Funct. Program. 30, Paper No. e11, 55 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{A. Mokhov} et al., J. Funct. Program. 30, Paper No. e11, 55 p. (2020; Zbl 1442.68029) Full Text: DOI
Swierstra, Wouter Heterogeneous binary random-access lists. (English) Zbl 1442.68032 J. Funct. Program. 30, Paper No. e10, 10 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{W. Swierstra}, J. Funct. Program. 30, Paper No. e10, 10 p. (2020; Zbl 1442.68032) Full Text: DOI
Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig Doo bee doo bee doo. (English) Zbl 1442.68026 J. Funct. Program. 30, Paper No. e9, 53 p. (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{L. Convent} et al., J. Funct. Program. 30, Paper No. e9, 53 p. (2020; Zbl 1442.68026) Full Text: DOI
Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus Effekt: capability-passing style for type- and effect-safe, extensible effect handlers in Scala. (English) Zbl 1442.68024 J. Funct. Program. 30, Paper No. e8, 46 p. (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{J. I. Brachthäuser} et al., J. Funct. Program. 30, Paper No. e8, 46 p. (2020; Zbl 1442.68024) Full Text: DOI
Kiselyov, Oleg Many more predecessors: a representation workout. (English) Zbl 1444.03018 J. Funct. Program. 30, Paper No. e7, 13 p. (2020). MSC: 03B40 PDF BibTeX XML Cite \textit{O. Kiselyov}, J. Funct. Program. 30, Paper No. e7, 13 p. (2020; Zbl 1444.03018) Full Text: DOI
Hillerström, Daniel; Lindley, Sam; Atkey, Robert Effect handlers via generalised continuations. (English) Zbl 1442.68028 J. Funct. Program. 30, Paper No. e5, 69 p. (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{D. Hillerström} et al., J. Funct. Program. 30, Paper No. e5, 69 p. (2020; Zbl 1442.68028) Full Text: DOI
Bird, Richard S. An optimal, purely functional implementation of the Garsia-Wachs algorithm. (English) Zbl 1442.68284 J. Funct. Program. 30, Paper No. e3, 13 p. (2020). MSC: 68W40 68N18 PDF BibTeX XML Cite \textit{R. S. Bird}, J. Funct. Program. 30, Paper No. e3, 13 p. (2020; Zbl 1442.68284) Full Text: DOI
Cockx, Jesper; Abel, Andreas Elaborating dependent (co)pattern matching: no pattern left behind. (English) Zbl 1442.68025 J. Funct. Program. 30, Paper No. e2, 43 p. (2020). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{J. Cockx} and \textit{A. Abel}, J. Funct. Program. 30, Paper No. e2, 43 p. (2020; Zbl 1442.68025) Full Text: DOI
Im, Hyeonseung; Genevès, Pierre; Gesbert, Nils; Layaïda, Nabil Backward type inference for XML queries. (English) Zbl 1440.68056 Theor. Comput. Sci. 823, 69-99 (2020). MSC: 68P15 68N18 68P05 PDF BibTeX XML Cite \textit{H. Im} et al., Theor. Comput. Sci. 823, 69--99 (2020; Zbl 1440.68056) Full Text: DOI
Amato, Gianluca; Meo, Maria Chiara; Scozzari, Francesca On collecting semantics for program analysis. (English) Zbl 1440.68167 Theor. Comput. Sci. 823, 1-25 (2020). MSC: 68Q55 68N18 PDF BibTeX XML Cite \textit{G. Amato} et al., Theor. Comput. Sci. 823, 1--25 (2020; Zbl 1440.68167) Full Text: DOI
Dylus, Sandra; Christiansen, Jan; Teegen, Finn Implementing a library for probabilistic programming using non-strict non-determinism. (English) Zbl 1434.68062 Theory Pract. Log. Program. 20, No. 1, 147-175 (2020). MSC: 68N15 68N17 68N18 68N19 PDF BibTeX XML Cite \textit{S. Dylus} et al., Theory Pract. Log. Program. 20, No. 1, 147--175 (2020; Zbl 1434.68062) Full Text: DOI
Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A. On the concurrent computational content of intermediate logics. (English) Zbl 1433.68229 Theor. Comput. Sci. 813, 375-409 (2020). MSC: 68Q85 03B40 03B55 PDF BibTeX XML Cite \textit{F. Aschieri} et al., Theor. Comput. Sci. 813, 375--409 (2020; Zbl 1433.68229) Full Text: DOI
Fujita, Ken-etsu A formal system of reduction paths for parallel reduction. (English) Zbl 1433.68190 Theor. Comput. Sci. 813, 327-340 (2020). MSC: 68Q42 03B40 68R10 PDF BibTeX XML Cite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI
Dal Lago, Ugo; Gavazzo, Francesco; Tanaka, Ryo Effectful applicative similarity for call-by-name lambda calculi. (English) Zbl 07191317 Theor. Comput. Sci. 813, 234-247 (2020). MSC: 68N18 PDF BibTeX XML Cite \textit{U. Dal Lago} et al., Theor. Comput. Sci. 813, 234--247 (2020; Zbl 07191317) Full Text: DOI
Dal Lago, Ugo; Vanoni, Gabriele On randomised strategies in the \(\lambda \)-calculus. (English) Zbl 07191310 Theor. Comput. Sci. 813, 100-116 (2020). MSC: 03B40 68Q42 PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{G. Vanoni}, Theor. Comput. Sci. 813, 100--116 (2020; Zbl 07191310) Full Text: DOI
Baillot, Patrick; Ghyselen, Alexis Combining linear logic and size types for implicit complexity. (English) Zbl 1433.68086 Theor. Comput. Sci. 813, 70-99 (2020). MSC: 68N18 03B70 03F52 68Q15 PDF BibTeX XML Cite \textit{P. Baillot} and \textit{A. Ghyselen}, Theor. Comput. Sci. 813, 70--99 (2020; Zbl 1433.68086) Full Text: DOI
Kapron, Bruce M.; Steinberg, Florian Type-two polynomial-time and restricted lookahead. (English) Zbl 07191307 Theor. Comput. Sci. 813, 1-19 (2020). MSC: 03D65 PDF BibTeX XML Cite \textit{B. M. Kapron} and \textit{F. Steinberg}, Theor. Comput. Sci. 813, 1--19 (2020; Zbl 07191307) Full Text: DOI
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro Corrigendum to: “Inductive-data-type systems”. (English) Zbl 1432.68210 Theor. Comput. Sci. 817, 81-82 (2020). MSC: 68Q42 68N18 68Q65 PDF BibTeX XML Cite \textit{F. Blanqui} et al., Theor. Comput. Sci. 817, 81--82 (2020; Zbl 1432.68210) Full Text: DOI
Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas Modal dependent type theory and dependent right adjoints. (English) Zbl 07179032 Math. Struct. Comput. Sci. 30, No. 2, 118-138 (2020). MSC: 03B38 03B40 03B45 18A40 PDF BibTeX XML Cite \textit{L. Birkedal} et al., Math. Struct. Comput. Sci. 30, No. 2, 118--138 (2020; Zbl 07179032) 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 PDF BibTeX XML Cite \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
Kesner, Delia; Vial, Pierre Non-idempotent types for classical calculi in natural deduction style. (English) Zbl 07155170 Log. Methods Comput. Sci. 16, No. 1, Paper No. 3, 46 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{D. Kesner} and \textit{P. Vial}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 3, 46 p. (2020; Zbl 07155170) Full Text: arXiv
Blum, William Evaluating lambda terms with traversals. (English) Zbl 1436.03103 Theor. Comput. Sci. 802, 77-104 (2020). MSC: 03B40 PDF BibTeX XML Cite \textit{W. Blum}, Theor. Comput. Sci. 802, 77--104 (2020; Zbl 1436.03103) Full Text: DOI
Zach, Richard The significance of the Curry-Howard isomorphism. (English) Zbl 07237980 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 313-325 (2019). MSC: 03B40 03F05 03A05 PDF BibTeX XML Cite \textit{R. Zach}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 313--325 (2019; Zbl 07237980) Full Text: DOI
Haralambous, Yannis To mock a mocking bird: an overview of combinatory logic. With some applications in mathematical lingustics. (Ne vous moquez pas de l’oiseau moqueur: un aperçu de la logique combinatoire. Avec des applications en linguistique mathématique.) (French) Zbl 1439.03038 Quadrature 113, 22-34 (2019). MSC: 03B40 03B65 91F20 PDF BibTeX XML Cite \textit{Y. Haralambous}, Quadrature 113, 22--34 (2019; Zbl 1439.03038)
Ehrhard, Thomas (ed.); Fernández, Maribel (ed.); de Paiva, Valeria (ed.); Tortora de Falco, Lorenzo (ed.) Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. (English) Zbl 1436.68024 Electronic Proceedings in Theoretical Computer Science (EPTCS) 292. Waterloo: Open Publishing Association (OPA). 167 p., electronic only, open access (2019). MSC: 68-06 03B70 03F52 68N18 00B25 PDF BibTeX XML Cite \textit{T. Ehrhard} (ed.) et al., Proceedings of the joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7--8, 2018. Waterloo: Open Publishing Association (OPA) (2019; Zbl 1436.68024) Full Text: DOI Link
Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDF BibTeX XML Cite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Dannenberg, Roger B. Book review of: P. Hudak and D. Quick, The Haskell school of music. From signals to symphonies. (English) Zbl 1439.00015 J. Funct. Program. 29, Article ID e18, 2 p. (2019). MSC: 00A17 68-02 00A65 68N18 PDF BibTeX XML Cite \textit{R. B. Dannenberg}, J. Funct. Program. 29, Paper No. e18, 2 p. (2019; Zbl 1439.00015) Full Text: DOI
Peyton Jones, Michael; Gkoumas, Vasilis; Kireev, Roman; MacKenzie, Kenneth; Nester, Chad; Wadler, Philip Unraveling recursion: compiling an IR with recursion to System F. (English) Zbl 1434.68099 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 414-443 (2019). MSC: 68N20 68N18 PDF BibTeX XML Cite \textit{M. Peyton Jones} et al., Lect. Notes Comput. Sci. 11825, 414--443 (2019; Zbl 1434.68099) Full Text: DOI
Kaarsgaard, Robin; Veltri, Niccolò En garde! Unguarded iteration for reversible computation in the delay monad. (English) Zbl 1434.68088 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 366-384 (2019). MSC: 68N18 68Q09 PDF BibTeX XML Cite \textit{R. Kaarsgaard} and \textit{N. Veltri}, Lect. Notes Comput. Sci. 11825, 366--384 (2019; Zbl 1434.68088) Full Text: DOI
Kaposi, Ambrus; Kovács, András; Kraus, Nicolai Shallow embedding of type theory is morally correct. (English) Zbl 1434.03039 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 329-365 (2019). MSC: 03B38 68N18 PDF BibTeX XML Cite \textit{A. Kaposi} et al., Lect. Notes Comput. Sci. 11825, 329--365 (2019; Zbl 1434.03039) Full Text: DOI
Chapman, James; Kireev, Roman; Nester, Chad; Wadler, Philip System F in Agda, for fun and profit. (English) Zbl 1434.68079 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 255-297 (2019). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{J. Chapman} et al., Lect. Notes Comput. Sci. 11825, 255--297 (2019; Zbl 1434.68079) Full Text: DOI
Affeldt, Reynald; Nowak, David; Saikawa, Takafumi A hierarchy of monadic effects for program verification using equational reasoning. (English) Zbl 1434.68100 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 226-254 (2019). MSC: 68N30 68N18 68Q60 68V15 68V20 PDF BibTeX XML Cite \textit{R. Affeldt} et al., Lect. Notes Comput. Sci. 11825, 226--254 (2019; Zbl 1434.68100) Full Text: DOI
Altenkirch, Thorsten; Boulier, Simon; Kaposi, Ambrus; Tabareau, Nicolas Setoid type theory – a syntactic translation. (English) Zbl 1434.03034 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 155-196 (2019). MSC: 03B38 03B40 03F25 PDF BibTeX XML Cite \textit{T. Altenkirch} et al., Lect. Notes Comput. Sci. 11825, 155--196 (2019; Zbl 1434.03034) Full Text: DOI
Bird, Richard; Rabe, Florian How to calculate with nondeterministic functions. (English) Zbl 1434.68078 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 138-154 (2019). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{R. Bird} and \textit{F. Rabe}, Lect. Notes Comput. Sci. 11825, 138--154 (2019; Zbl 1434.68078) Full Text: DOI
Larchey-Wendling, Dominique; Matthes, Ralph Certification of breadth-first algorithms by extraction. (English) Zbl 1434.68090 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 45-75 (2019). MSC: 68N18 68P05 PDF BibTeX XML Cite \textit{D. Larchey-Wendling} and \textit{R. Matthes}, Lect. Notes Comput. Sci. 11825, 45--75 (2019; Zbl 1434.68090) Full Text: DOI
Pauwels, Koen; Schrijvers, Tom; Mu, Shin-Cheng Handling local state with global state. (English) Zbl 1434.68093 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 18-44 (2019). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{K. Pauwels} et al., Lect. Notes Comput. Sci. 11825, 18--44 (2019; Zbl 1434.68093) Full Text: DOI
Lai, Anna Chiara; Pedicini, Marco; Piazza, Mario Abstract machines, optimal reduction, and streams. (English) Zbl 1434.68089 Math. Struct. Comput. Sci. 29, No. 9, 1379-1410 (2019). MSC: 68N18 03F52 68Q10 PDF BibTeX XML Cite \textit{A. C. Lai} et al., Math. Struct. Comput. Sci. 29, No. 9, 1379--1410 (2019; Zbl 1434.68089) Full Text: DOI
Cockett, Robin; Gallagher, Jonathan Categorical models of the differential \(\lambda\)-calculus. (English) Zbl 07196235 Math. Struct. Comput. Sci. 29, No. 10, 1513-1555 (2019). MSC: 03 18 PDF BibTeX XML Cite \textit{R. Cockett} and \textit{J. Gallagher}, Math. Struct. Comput. Sci. 29, No. 10, 1513--1555 (2019; Zbl 07196235) Full Text: DOI
Leventis, Thomas A deterministic rewrite system for the probabilistic \(\lambda\)-calculus. (English) Zbl 1434.68091 Math. Struct. Comput. Sci. 29, No. 10, 1479-1512 (2019). MSC: 68N18 03B40 68Q55 PDF BibTeX XML Cite \textit{T. Leventis}, Math. Struct. Comput. Sci. 29, No. 10, 1479--1512 (2019; Zbl 1434.68091) Full Text: DOI
Desclés, Jean-Pierre; Pascu, Anca Christine Logic of typical and atypical instances of a concept – a mathematical model. (English) Zbl 1432.03042 Axioms 8, No. 3, Paper No. 104, 14 p. (2019). MSC: 03B60 03B40 03B65 PDF BibTeX XML Cite \textit{J.-P. Desclés} and \textit{A. C. Pascu}, Axioms 8, No. 3, Paper No. 104, 14 p. (2019; Zbl 1432.03042) Full Text: DOI
Nigiyan, S. A. \(\lambda\)-definability of built-in McCarthy functions as functions with indeterminate values of arguments. (English) Zbl 1435.68060 Proc. Yerevan State Univ., Phys. Math. Sci. 53, No. 3, 191-202 (2019). MSC: 68N18 68N15 PDF BibTeX XML Cite \textit{S. A. Nigiyan}, Proc. Yerevan State Univ., Phys. Math. Sci. 53, No. 3, 191--202 (2019; Zbl 1435.68060) Full Text: Link
Bacon, Andrew Substitution structures. (English) Zbl 07167426 J. Philos. Log. 48, No. 6, 1017-1075 (2019). MSC: 03B38 03B16 03B40 PDF BibTeX XML Cite \textit{A. Bacon}, J. Philos. Log. 48, No. 6, 1017--1075 (2019; Zbl 07167426) Full Text: DOI
Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue The fixed point property and a technique to harness double fixed point combinators. (English) Zbl 1444.03019 J. Log. Comput. 29, No. 5, 831-880 (2019). MSC: 03B40 PDF BibTeX XML Cite \textit{G. Manzonetto} et al., J. Log. Comput. 29, No. 5, 831--880 (2019; Zbl 1444.03019) Full Text: DOI
Leventis, Thomas; Pagani, Michele Strong adequacy and untyped full-abstraction for probabilistic coherence spaces. (English) Zbl 07158708 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 (ISBN 978-3-030-17126-1/pbk; 978-3-030-17127-8/ebook). Lecture Notes in Computer Science 11425, 365-381 (2019). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{T. Leventis} and \textit{M. Pagani}, Lect. Notes Comput. Sci. 11425, 365--381 (2019; Zbl 07158708) Full Text: DOI
Manzonetto, Giulio; Pagani, Michele; Ronchi Della Rocca, Simona New semantical insights into call-by-value \(\lambda\)-calculus. (English) Zbl 1434.68092 Fundam. Inform. 170, No. 1-3, 241-265 (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{G. Manzonetto} et al., Fundam. Inform. 170, No. 1--3, 241--265 (2019; Zbl 1434.68092) Full Text: DOI
Geuvers, Herman; van der Giessen, Iris; Hurkens, Tonny Strong normalization for truth table natural deduction. (English) Zbl 1454.03076 Fundam. Inform. 170, No. 1-3, 139-176 (2019). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03B40 PDF BibTeX XML Cite \textit{H. Geuvers} et al., Fundam. Inform. 170, No. 1--3, 139--176 (2019; Zbl 1454.03076) Full Text: DOI
Espírito Santo, José; Matthes, Ralph; Pinto, Luís Decidability of several concepts of finiteness for simple types. (English) Zbl 1446.03036 Fundam. Inform. 170, No. 1-3, 111-138 (2019). MSC: 03B40 03B25 PDF BibTeX XML Cite \textit{J. Espírito Santo} et al., Fundam. Inform. 170, No. 1--3, 111--138 (2019; Zbl 1446.03036) Full Text: DOI
Dudenhefner, Andrej; Rehof, Jakob Undecidability of intersection type inhabitation at rank 3 and its formalization. (English) Zbl 1446.03035 Fundam. Inform. 170, No. 1-3, 93-110 (2019). MSC: 03B40 03D03 03D35 03B25 PDF BibTeX XML Cite \textit{A. Dudenhefner} and \textit{J. Rehof}, Fundam. Inform. 170, No. 1--3, 93--110 (2019; Zbl 1446.03035) Full Text: DOI
Downen, Paul; Ariola, Zena M.; Ghilezan, Silvia The duality of classical intersection and union types. (English) Zbl 1446.03034 Fundam. Inform. 170, No. 1-3, 39-92 (2019). MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{P. Downen} et al., Fundam. Inform. 170, No. 1--3, 39--92 (2019; Zbl 1446.03034) Full Text: DOI
Loukanova, Roussanka Gamma-reduction in type theory of acyclic recursion. (English) Zbl 1446.03077 Fundam. Inform. 170, No. 4, 367-411 (2019). MSC: 03D65 03B38 03B40 PDF BibTeX XML Cite \textit{R. Loukanova}, Fundam. Inform. 170, No. 4, 367--411 (2019; Zbl 1446.03077) Full Text: DOI
Tranchini, Luca Proof, meaning and paradox: some remarks. (English) Zbl 1428.03072 Topoi 38, No. 3, 591-603 (2019). MSC: 03F03 03B40 PDF BibTeX XML Cite \textit{L. Tranchini}, Topoi 38, No. 3, 591--603 (2019; Zbl 1428.03072) Full Text: DOI
Sørensen, Morten Heine Book review of: R. Smullyan, A beginner’s further guide to mathematical logic. (English) Zbl 1436.00030 Stud. Log. 107, No. 5, 1079-1081 (2019). MSC: 00A17 03-01 03B05 03B10 03D20 03B40 03D10 03D25 PDF BibTeX XML Cite \textit{M. H. Sørensen}, Stud. Log. 107, No. 5, 1079--1081 (2019; Zbl 1436.00030) Full Text: DOI
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo From distributed coordination to field calculus and aggregate computing. (English) Zbl 1435.68049 J. Log. Algebr. Methods Program. 109, Article ID 100486, 29 p. (2019). MSC: 68M14 68N18 PDF BibTeX XML Cite \textit{M. Viroli} et al., J. Log. Algebr. Methods Program. 109, Article ID 100486, 29 p. (2019; Zbl 1435.68049) Full Text: DOI
Muroya, Koko; Ghica, Dan R. The dynamic geometry of interaction machine: a token-guided graph rewriter. (English) Zbl 1442.68030 Log. Methods Comput. Sci. 15, No. 4, Paper No. 7, 32 p. (2019). MSC: 68N18 03B40 03F52 68Q42 PDF BibTeX XML Cite \textit{K. Muroya} and \textit{D. R. Ghica}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 7, 32 p. (2019; Zbl 1442.68030) Full Text: arXiv
Bendkowski, Maciej; Lescanne, Pierre On the enumeration of closures and environments with an application to random generation. (English) Zbl 1442.68023 Log. Methods Comput. Sci. 15, No. 4, Paper No. 3, 21 p. (2019). MSC: 68N18 03B40 05A15 PDF BibTeX XML Cite \textit{M. Bendkowski} and \textit{P. Lescanne}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 3, 21 p. (2019; Zbl 1442.68023) Full Text: arXiv
Schrijvers, Tom; Oliveira, Bruno C. D. S.; Wadler, Philip; Marntirosian, Koar COCHIS: stable and coherent implicits. (English) Zbl 07135422 J. Funct. Program. 29, Paper No. e3, 82 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{T. Schrijvers} et al., J. Funct. Program. 29, Paper No. e3, 82 p. (2019; Zbl 07135422) Full Text: DOI
Kiam Tan, Yong; Myreen, Magnus O.; Kumar, Ramana; Fox, Anthony; Owens, Scott; Norrish, Michael The verified CakeML compiler backend. (English) Zbl 07135421 J. Funct. Program. 29, Paper No. e2, 57 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{Y. Kiam Tan} et al., J. Funct. Program. 29, Paper No. e2, 57 p. (2019; Zbl 07135421) Full Text: DOI
Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias How to evaluate the performance of gradual type systems. (English) Zbl 07135420 J. Funct. Program. 29, Paper No. e4, 45 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{B. Greenman} et al., J. Funct. Program. 29, Paper No. e4, 45 p. (2019; Zbl 07135420) Full Text: DOI
Darais, David; Van Horn, David Constructive Galois connections. (English) Zbl 07135418 J. Funct. Program. 29, Paper No. e11, 60 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{D. Darais} and \textit{D. Van Horn}, J. Funct. Program. 29, Paper No. e11, 60 p. (2019; Zbl 07135418) Full Text: DOI
Rompf, Tiark; Amin, Nada A SQL to C compiler in 500 lines of code. (English) Zbl 07135417 J. Funct. Program. 29, Paper No. e9, 31 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{T. Rompf} and \textit{N. Amin}, J. Funct. Program. 29, Paper No. e9, 31 p. (2019; Zbl 07135417) Full Text: DOI
Danvy, Olivier Folding left and right over Peano numbers. (English) Zbl 07135416 J. Funct. Program. 29, Paper No. e6, 12 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{O. Danvy}, J. Funct. Program. 29, Paper No. e6, 12 p. (2019; Zbl 07135416) Full Text: DOI
Bird, Richard S. How to find a fake coin. (English) Zbl 07135415 J. Funct. Program. 29, Paper No. e8, 9 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{R. S. Bird}, J. Funct. Program. 29, Paper No. e8, 9 p. (2019; Zbl 07135415) Full Text: DOI
Choi, Kwanghoon; Chang, Byeong-Mo A theory of RPC calculi for client-server model. (English) Zbl 07135414 J. Funct. Program. 29, Paper No. e5, 39 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{K. Choi} and \textit{B.-M. Chang}, J. Funct. Program. 29, Paper No. e5, 39 p. (2019; Zbl 07135414) Full Text: DOI
García-Pérez, Álvaro; Nogueira, Pablo The full-reducing krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus. (English) Zbl 07135413 J. Funct. Program. 29, Paper No. e7, 38 p. (2019). MSC: 68N18 PDF BibTeX XML Cite \textit{Á. García-Pérez} and \textit{P. Nogueira}, J. Funct. Program. 29, Paper No. e7, 38 p. (2019; Zbl 07135413) Full Text: DOI
Pałka, Michał (ed.); Myreen, Magnus (ed.) Trends in functional programming. 19th international symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018. Revised selected papers. (English) Zbl 1425.68015 Lecture Notes in Computer Science 11457. Cham: Springer (ISBN 978-3-030-18505-3/pbk; 978-3-030-18506-0/ebook). vii, 157 p. (2019). MSC: 68-06 68N18 00B25 PDF BibTeX XML Cite \textit{M. Pałka} (ed.) and \textit{M. Myreen} (ed.), Trends in functional programming. 19th international symposium, TFP 2018, Gothenburg, Sweden, June 11--13, 2018. Revised selected papers. Cham: Springer (2019; Zbl 1425.68015) Full Text: DOI