Electronic Notes in Theoretical Informatics and Computer Science - Latest Publications Latest articles https://entics.episciences.org/img/episciences_sign_50x50.png episciences.org https://entics.episciences.org Wed, 11 Mar 2026 01:53:11 +0000 episciences.org https://entics.episciences.org Electronic Notes in Theoretical Informatics and Computer Science Electronic Notes in Theoretical Informatics and Computer Science The Functional Machine Calculus III: Control Sat, 20 Dec 2025 13:10:14 +0000 https://doi.org/10.46298/entics.16682 https://doi.org/10.46298/entics.16682 Heijltjes, Willem Heijltjes, Willem 0 Traces via Strategies in Two-Player Games Sat, 20 Dec 2025 13:02:24 +0000 https://doi.org/10.46298/entics.16816 https://doi.org/10.46298/entics.16816 Plummer, Benjamin Cirstea, Corina Plummer, Benjamin Cirstea, Corina 0 Strong Dinatural Transformations and Generalised Codensity Monads Sat, 20 Dec 2025 13:01:32 +0000 https://doi.org/10.46298/entics.16689 https://doi.org/10.46298/entics.16689 Piróg, Maciej Sieczkowski, Filip Piróg, Maciej Sieczkowski, Filip 0 Functoriality of Enriched Data Types Sat, 20 Dec 2025 13:00:38 +0000 https://doi.org/10.46298/entics.16583 https://doi.org/10.46298/entics.16583 Mulder, Lukas North, Paige Randall Péroux, Maximilien Mulder, Lukas North, Paige Randall Péroux, Maximilien 0 Compact Quantitative Theories of Convex Algebras Sat, 20 Dec 2025 12:59:39 +0000 https://doi.org/10.46298/entics.16876 https://doi.org/10.46298/entics.16876 Mio, Matteo Mio, Matteo 0 Order in Partial Markov Categories Sat, 20 Dec 2025 12:58:20 +0000 https://doi.org/10.46298/entics.16686 https://doi.org/10.46298/entics.16686 Di Lavore, Elena Román, Mario Sobociński, Paweł Széles, Márk Di Lavore, Elena Román, Mario Sobociński, Paweł Széles, Márk 0 Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics Sat, 20 Dec 2025 12:57:20 +0000 https://doi.org/10.46298/entics.16653 https://doi.org/10.46298/entics.16653 Kojima, Ryota Cirstea, Corina Kojima, Ryota Cirstea, Corina 0 Safety, Relative Tightness and the Probabilistic Frame Rule Sat, 20 Dec 2025 12:55:10 +0000 https://doi.org/10.46298/entics.16743 https://doi.org/10.46298/entics.16743 Jereb, Janez Ignacij Simpson, Alex Jereb, Janez Ignacij Simpson, Alex 0 Compositional Inference for Bayesian Networks and Causality Sat, 20 Dec 2025 12:54:08 +0000 https://doi.org/10.46298/entics.17029 https://doi.org/10.46298/entics.17029 Jacobs, Bart Széles, Márk Stein, Dario Jacobs, Bart Széles, Márk Stein, Dario 0 A Fresh Look at Bivariate Binomial Distributions Sat, 20 Dec 2025 12:53:03 +0000 https://doi.org/10.46298/entics.17042 https://doi.org/10.46298/entics.17042 Jacobs, Bart Jacobs, Bart 0 Modular abstract syntax trees (MAST): substitution tensors with second-class sorts Sat, 20 Dec 2025 12:51:09 +0000 https://doi.org/10.46298/entics.16879 https://doi.org/10.46298/entics.16879 Fiore, Marcelo P. Kammar, Ohad Moser, Georg Staton, Sam Fiore, Marcelo P. Kammar, Ohad Moser, Georg Staton, Sam 0 Initial Algebras of Domains via Quotient Inductive-Inductive Types Sat, 20 Dec 2025 12:50:04 +0000 https://doi.org/10.46298/entics.16512 https://doi.org/10.46298/entics.16512 van Collem, Simcha van der Weide, Niels Geuvers, Herman van Collem, Simcha van der Weide, Niels Geuvers, Herman 0 Unambiguous Acceptance of Thin Coalgebras Sat, 20 Dec 2025 12:49:02 +0000 https://doi.org/10.46298/entics.16832 https://doi.org/10.46298/entics.16832 Chernev, Anton Cîrstea, Corina Hansen, Helle Hvid Kupke, Clemens Chernev, Anton Cîrstea, Corina Hansen, Helle Hvid Kupke, Clemens 0 Cyclic Proofs in Hoare Logic and its Reverse Sat, 20 Dec 2025 12:47:58 +0000 https://doi.org/10.46298/entics.16696 https://doi.org/10.46298/entics.16696 Brotherston, James Le, Quang Loc Desai, Gauri Oda, Yukihiro Brotherston, James Le, Quang Loc Desai, Gauri Oda, Yukihiro 0 A Proof-Theoretic Approach to the Semantics of Classical Linear Logic Sat, 20 Dec 2025 12:46:29 +0000 https://doi.org/10.46298/entics.16888 https://doi.org/10.46298/entics.16888 Barroso-Nascimento, Victor Piotrovskaya, Ekaterina Pimentel, Elaine Barroso-Nascimento, Victor Piotrovskaya, Ekaterina Pimentel, Elaine 0 Strong normalization through idempotent intersection types: a new syntactical approach Sat, 20 Dec 2025 12:45:13 +0000 https://doi.org/10.46298/entics.16693 https://doi.org/10.46298/entics.16693 Barenbaum, Pablo Della Rocca, Simona Ronchi Sottile, Cristian Barenbaum, Pablo Della Rocca, Simona Ronchi Sottile, Cristian 0 Reversible computations are computations Sat, 20 Dec 2025 12:43:59 +0000 https://doi.org/10.46298/entics.16677 https://doi.org/10.46298/entics.16677 Aubert, Clément Krivine, Jean Aubert, Clément Krivine, Jean 0 Polynomial Universes in Homotopy Type Theory Sat, 20 Dec 2025 12:39:46 +0000 https://doi.org/10.46298/entics.16885 https://doi.org/10.46298/entics.16885 Aberlé, C. B. Spivak, David I. Aberlé, C. B. Spivak, David I. 0 Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions Wed, 11 Dec 2024 17:06:34 +0000 https://doi.org/10.46298/entics.14804 https://doi.org/10.46298/entics.14804 Pradic, Cécilia Price, Ian Pradic, Cécilia Price, Ian 0 Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory Wed, 11 Dec 2024 17:05:25 +0000 https://doi.org/10.46298/entics.14732 https://doi.org/10.46298/entics.14732 Niu, Yue Sterling, Jonathan Harper, Robert Niu, Yue Sterling, Jonathan Harper, Robert 0 GATlab: Modeling and Programming with Generalized Algebraic Theories Wed, 11 Dec 2024 17:04:15 +0000 https://doi.org/10.46298/entics.14666 https://doi.org/10.46298/entics.14666 Lynch, Owen Brown, Kris Fairbanks, James Patterson, Evan Lynch, Owen Brown, Kris Fairbanks, James Patterson, Evan 0 On Kleisli liftings and decorated trace semantics Wed, 11 Dec 2024 17:02:47 +0000 https://doi.org/10.46298/entics.14751 https://doi.org/10.46298/entics.14751 Luckhardt, Daniel Beohar, Harsh Küpper, Sebastian Luckhardt, Daniel Beohar, Harsh Küpper, Sebastian 0 An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence Wed, 11 Dec 2024 17:01:40 +0000 https://doi.org/10.46298/entics.14670 https://doi.org/10.46298/entics.14670 Lemay, Jean-Simon Pacaud Lemay, Jean-Simon Pacaud 0 Two-dimensional Kripke Semantics II: Stability and Completeness Wed, 11 Dec 2024 17:00:00 +0000 https://doi.org/10.46298/entics.14767 https://doi.org/10.46298/entics.14767 Kavvos, G. A. Kavvos, G. A. 0 Algebraic Reasoning over Relational Structures Wed, 11 Dec 2024 16:54:37 +0000 https://doi.org/10.46298/entics.14598 https://doi.org/10.46298/entics.14598 Jurka, Jan Milius, Stefan Urbat, Henning Jurka, Jan Milius, Stefan Urbat, Henning 0 Typed Non-determinism in Concurrent Calculi: The Eager Way Wed, 11 Dec 2024 16:53:24 +0000 https://doi.org/10.46298/entics.14735 https://doi.org/10.46298/entics.14735 Heuvel, Bas van den Nantes-Sobrinho, Daniele Paulus, Joseph W. N. Pérez, Jorge A. Heuvel, Bas van den Nantes-Sobrinho, Daniele Paulus, Joseph W. N. Pérez, Jorge A. 0 Polynomials in homotopy type theory as a Kleisli category Wed, 11 Dec 2024 16:52:08 +0000 https://doi.org/10.46298/entics.14786 https://doi.org/10.46298/entics.14786 Harington, Elies Mimram, Samuel Harington, Elies Mimram, Samuel 0 Amortized Analysis via Coalgebra Wed, 11 Dec 2024 16:50:58 +0000 https://doi.org/10.46298/entics.14797 https://doi.org/10.46298/entics.14797 Grodin, Harrison Harper, Robert Grodin, Harrison Harper, Robert 0 Inferentialist Resource Semantics Wed, 11 Dec 2024 16:48:52 +0000 https://doi.org/10.46298/entics.14727 https://doi.org/10.46298/entics.14727 Gheorghiu, Alexander V. Gu, Tao Pym, David J. Gheorghiu, Alexander V. Gu, Tao Pym, David J. 0 Continuous Domains for Function Spaces Using Spectral Compactification Wed, 11 Dec 2024 16:47:08 +0000 https://doi.org/10.46298/entics.14736 https://doi.org/10.46298/entics.14736 Farjudian, Amin Jung, Achim Farjudian, Amin Jung, Achim 0 On a fibrational construction for optics, lenses, and Dialectica categories Wed, 11 Dec 2024 16:45:46 +0000 https://doi.org/10.46298/entics.14638 https://doi.org/10.46298/entics.14638 Capucci, Matteo Gavranović, Bruno Malik, Abdullah Rios, Francisco Weinberger, Jonathan Capucci, Matteo Gavranović, Bruno Malik, Abdullah Rios, Francisco Weinberger, Jonathan 0 Strong Nominal Semantics for Fixed-Point Constraints Wed, 11 Dec 2024 16:43:49 +0000 https://doi.org/10.46298/entics.14777 https://doi.org/10.46298/entics.14777 Caires-Santos, Ali K. Fernández, Maribel Nantes-Sobrinho, Daniele Caires-Santos, Ali K. Fernández, Maribel Nantes-Sobrinho, Daniele 0 CaTT contexts are finite computads Wed, 11 Dec 2024 16:42:23 +0000 https://doi.org/10.46298/entics.14675 https://doi.org/10.46298/entics.14675 Benjamin, Thibaut Markakis, Ioannis Sarti, Chiara Benjamin, Thibaut Markakis, Ioannis Sarti, Chiara 0 A Semantic Proof of Generalised Cut Elimination for Deep Inference Wed, 11 Dec 2024 16:40:45 +0000 https://doi.org/10.46298/entics.14870 https://doi.org/10.46298/entics.14870 Atkey, Robert Kokke, Wen Atkey, Robert Kokke, Wen 0 Positive Focusing is Directly Useful Wed, 11 Dec 2024 16:39:06 +0000 https://doi.org/10.46298/entics.14758 https://doi.org/10.46298/entics.14758 Accattoli, Beniamino Wu, Jui-Hsuan Accattoli, Beniamino Wu, Jui-Hsuan 0 Linear Arboreal Categories Wed, 11 Dec 2024 16:35:15 +0000 https://doi.org/10.46298/entics.14830 https://doi.org/10.46298/entics.14830 Abramsky, Samson Montacute, Yoàv Shah, Nihil Abramsky, Samson Montacute, Yoàv Shah, Nihil 0 Parametricity via Cohesion Wed, 11 Dec 2024 16:31:36 +0000 https://doi.org/10.46298/entics.14710 https://doi.org/10.46298/entics.14710 Aberlé, C. B. Aberlé, C. B. 0 Profinite lambda-terms and parametricity Thu, 23 Nov 2023 15:57:23 +0000 https://doi.org/10.46298/entics.12280 https://doi.org/10.46298/entics.12280 van Gool, Sam Melliès, Paul-André Moreau, Vincent van Gool, Sam Melliès, Paul-André Moreau, Vincent 0 Dependent Type Refinements for Futures Thu, 23 Nov 2023 15:56:45 +0000 https://doi.org/10.46298/entics.12286 https://doi.org/10.46298/entics.12286 Somayyajula, Siva Pfenning, Frank Somayyajula, Siva Pfenning, Frank 0 Semantics of multimodal adjoint type theory Thu, 23 Nov 2023 15:55:42 +0000 https://doi.org/10.46298/entics.12300 https://doi.org/10.46298/entics.12300 Shulman, Michael Shulman, Michael 0 Algebra of Self-Replication Thu, 23 Nov 2023 15:55:10 +0000 https://doi.org/10.46298/entics.12320 https://doi.org/10.46298/entics.12320 Moss, Lawrence S. Moss, Lawrence S. 0 Implicative models of set theory Thu, 23 Nov 2023 15:54:43 +0000 https://doi.org/10.46298/entics.12426 https://doi.org/10.46298/entics.12426 Maschio, Samuele Miquel, Alexandre Maschio, Samuele Miquel, Alexandre 0 A topological counterpart of well-founded trees in dependent type theory Thu, 23 Nov 2023 15:54:02 +0000 https://doi.org/10.46298/entics.11755 https://doi.org/10.46298/entics.11755 Maietti, Maria Emilia Sabelli, Pietro Maietti, Maria Emilia Sabelli, Pietro 0 Graded Differential Categories and Graded Differential Linear Logic Thu, 23 Nov 2023 15:53:29 +0000 https://doi.org/10.46298/entics.12290 https://doi.org/10.46298/entics.12290 Lemay, Jean-Simon Pacaud Vienney, Jean-Baptiste Lemay, Jean-Simon Pacaud Vienney, Jean-Baptiste 0 Cartesian Differential Kleisli Categories Thu, 23 Nov 2023 15:52:57 +0000 https://doi.org/10.46298/entics.12278 https://doi.org/10.46298/entics.12278 Lemay, Jean-Simon Pacaud Lemay, Jean-Simon Pacaud 0 Joint Distributions in Probabilistic Semantics Thu, 23 Nov 2023 15:52:08 +0000 https://doi.org/10.46298/entics.12279 https://doi.org/10.46298/entics.12279 Kozen, Dexter Silva, Alexandra Voogd, Erik Kozen, Dexter Silva, Alexandra Voogd, Erik 0 A Categorical Framework for Program Semantics and Semantic Abstraction Thu, 23 Nov 2023 15:51:38 +0000 https://doi.org/10.46298/entics.12288 https://doi.org/10.46298/entics.12288 Katsumata, Shin-ya Rival, Xavier Dubut, Jérémy Katsumata, Shin-ya Rival, Xavier Dubut, Jérémy 0 A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories Thu, 23 Nov 2023 15:51:05 +0000 https://doi.org/10.46298/entics.12291 https://doi.org/10.46298/entics.12291 Kaddar, Younesse Staton, Sam Kaddar, Younesse Staton, Sam 0 Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming Thu, 23 Nov 2023 15:50:37 +0000 https://doi.org/10.46298/entics.12281 https://doi.org/10.46298/entics.12281 Jacobs, Bart Stein, Dario Jacobs, Bart Stein, Dario 0 Fixpoint constructions in focused orthogonality models of linear logic Thu, 23 Nov 2023 15:50:08 +0000 https://doi.org/10.46298/entics.12302 https://doi.org/10.46298/entics.12302 Fiore, Marcelo Galal, Zeinab Jafarrahmani, Farzad Fiore, Marcelo Galal, Zeinab Jafarrahmani, Farzad 0 Saturating automata for game semantics Thu, 23 Nov 2023 15:49:40 +0000 https://doi.org/10.46298/entics.12277 https://doi.org/10.46298/entics.12277 Dixon, Alex Murawski, Andrzej S. Dixon, Alex Murawski, Andrzej S. 0 A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation Thu, 23 Nov 2023 15:49:05 +0000 https://doi.org/10.46298/entics.12303 https://doi.org/10.46298/entics.12303 Di Gianantonio, Pietro Edalat, Abbas Gutin, Ran Di Gianantonio, Pietro Edalat, Abbas Gutin, Ran 0 Dynamic Separation Logic Thu, 23 Nov 2023 15:48:28 +0000 https://doi.org/10.46298/entics.12297 https://doi.org/10.46298/entics.12297 de Boer, Frank S. Hiep, Hans-Dieter A. de Gouw, Stijn de Boer, Frank S. Hiep, Hans-Dieter A. de Gouw, Stijn 0 A Complete V-Equational System for Graded lambda-Calculus Thu, 23 Nov 2023 15:47:49 +0000 https://doi.org/10.46298/entics.12299 https://doi.org/10.46298/entics.12299 Dahlqvist, Fredrik Neves, Renato Dahlqvist, Fredrik Neves, Renato 0 Propositional Logics for the Lawvere Quantale Thu, 23 Nov 2023 15:47:12 +0000 https://doi.org/10.46298/entics.12292 https://doi.org/10.46298/entics.12292 Bacci, Giorgio Mardare, Radu Panangaden, Prakash Plotkin, Gordon Bacci, Giorgio Mardare, Radu Panangaden, Prakash Plotkin, Gordon 0 The exponential logic of sequentialization Thu, 23 Nov 2023 15:46:37 +0000 https://doi.org/10.46298/entics.12419 https://doi.org/10.46298/entics.12419 Alcolei, Aurore Pellissier, Luc Saurin, Alexis Alcolei, Aurore Pellissier, Luc Saurin, Alexis 0 A denotationally-based program logic for higher-order store Thu, 23 Nov 2023 15:44:50 +0000 https://doi.org/10.46298/entics.12232 https://doi.org/10.46298/entics.12232 Aagaard, Frederik Lerbjerg Sterling, Jonathan Birkedal, Lars Aagaard, Frederik Lerbjerg Sterling, Jonathan Birkedal, Lars 0 The sheaf representation of residuated lattices Tue, 21 Mar 2023 14:26:34 +0000 https://doi.org/10.46298/entics.10399 https://doi.org/10.46298/entics.10399 Zhang, Huarong Zhao, Dongsheng Zhang, Huarong Zhao, Dongsheng 0 A Hofmann-Mislove theorem for $c$-well-filtered spaces Tue, 21 Mar 2023 14:26:01 +0000 https://doi.org/10.46298/entics.10369 https://doi.org/10.46298/entics.10369 Zhang, Liping Zhou, Xiangnan Li, Qingguo Zhang, Liping Zhou, Xiangnan Li, Qingguo 0 Representations of Domains via CF-approximation Spaces Tue, 21 Mar 2023 14:25:36 +0000 https://doi.org/10.46298/entics.10420 https://doi.org/10.46298/entics.10420 Wu, Guojun Xu, Luoshan Wu, Guojun Xu, Luoshan 0 Strongly Continuous Domains Tue, 21 Mar 2023 14:25:15 +0000 https://doi.org/10.46298/entics.10312 https://doi.org/10.46298/entics.10312 Song, Yinglong Yang, Jinbo Song, Yinglong Yang, Jinbo 0 Further studies on open well-filtered spaces Tue, 21 Mar 2023 14:24:52 +0000 https://doi.org/10.46298/entics.10392 https://doi.org/10.46298/entics.10392 Shen, Chong Xi, Xiaoyong Zhao, Dongsheng Shen, Chong Xi, Xiaoyong Zhao, Dongsheng 0 Partial frames, their free frames and their congruence frames Tue, 21 Mar 2023 14:24:26 +0000 https://doi.org/10.46298/entics.10459 https://doi.org/10.46298/entics.10459 Schauerte, Anneliese Frith, John Schauerte, Anneliese Frith, John 0 $SI_2$-quasicontinuous spaces Tue, 21 Mar 2023 14:24:00 +0000 https://doi.org/10.46298/entics.10355 https://doi.org/10.46298/entics.10355 Ruan, Xiaojun Xu, Xiaoquan Ruan, Xiaojun Xu, Xiaoquan 0 One-step closure, weak one-step closure and meet continuity Tue, 21 Mar 2023 14:23:12 +0000 https://doi.org/10.46298/entics.10352 https://doi.org/10.46298/entics.10352 Miao, Hualin Li, Qingguo Zhao, Dongsheng Miao, Hualin Li, Qingguo Zhao, Dongsheng 0 A note on the category of c-spaces Tue, 21 Mar 2023 14:22:20 +0000 https://doi.org/10.46298/entics.10362 https://doi.org/10.46298/entics.10362 Lyu, Z. Xie, X. Kou, H. Lyu, Z. Xie, X. Kou, H. 0 Quantaloidal Completions of Order-enriched Categories and Their Applications Tue, 21 Mar 2023 14:21:49 +0000 https://doi.org/10.46298/entics.10339 https://doi.org/10.46298/entics.10339 Liu, Min Li, Yulin Liu, Min Li, Yulin 0 On $k$-ranks of topological spaces Tue, 21 Mar 2023 14:21:20 +0000 https://doi.org/10.46298/entics.10349 https://doi.org/10.46298/entics.10349 Jin, Mengjie Li, Qingguo Jin, Mengjie Li, Qingguo 0 Weakly meet $s_{Z}$-continuity and $\delta_{Z}$-continuity Tue, 21 Mar 2023 14:20:53 +0000 https://doi.org/10.46298/entics.10344 https://doi.org/10.46298/entics.10344 Hou, Huijun Li, Qingguo Hou, Huijun Li, Qingguo 0 Quasiexact posets and the moderate meet-continuity Tue, 21 Mar 2023 14:20:08 +0000 https://doi.org/10.46298/entics.10383 https://doi.org/10.46298/entics.10383 He, Zhaorong Yang, Zhongqiang Zhao, Dongsheng He, Zhaorong Yang, Zhongqiang Zhao, Dongsheng 0 Continuous R-valuations Tue, 21 Mar 2023 14:19:25 +0000 https://doi.org/10.46298/entics.10351 https://doi.org/10.46298/entics.10351 Goubault-Larrecq, Jean Jia, Xiaodong Goubault-Larrecq, Jean Jia, Xiaodong 0 The $d^{*}$-space Tue, 21 Mar 2023 14:18:49 +0000 https://doi.org/10.46298/entics.10354 https://doi.org/10.46298/entics.10354 Chu, Xiangping Li, Qingguo Chu, Xiangping Li, Qingguo 0 Guarded Kleene Algebra with Tests: Automata Learning Tue, 28 Feb 2023 02:20:08 +0000 https://doi.org/10.46298/entics.10505 https://doi.org/10.46298/entics.10505 Zetzsche, Stefan Silva, Alexandra Sammartino, Matteo Zetzsche, Stefan Silva, Alexandra Sammartino, Matteo 0 Continuous Functions on Final Comodels of Free Algebraic Theories Wed, 22 Feb 2023 22:39:05 +0000 https://doi.org/10.46298/entics.10374 https://doi.org/10.46298/entics.10374 Yoshida, Tomoya Yoshida, Tomoya 0 Patch Locale of a Spectral Locale in Univalent Type Theory Wed, 22 Feb 2023 22:38:40 +0000 https://doi.org/10.46298/entics.10808 https://doi.org/10.46298/entics.10808 Tosun, Ayberk Escardó, Martín Hötzel Tosun, Ayberk Escardó, Martín Hötzel 0 Category-Graded Algebraic Theories and Effect Handlers Wed, 22 Feb 2023 22:38:22 +0000 https://doi.org/10.46298/entics.10491 https://doi.org/10.46298/entics.10491 Sanada, Takahiro Sanada, Takahiro 0 Call-By-Name Is Just Call-By-Value with Delimited Control Wed, 22 Feb 2023 22:38:01 +0000 https://doi.org/10.46298/entics.10502 https://doi.org/10.46298/entics.10502 Pyzik, Mateusz Pyzik, Mateusz 0 Bi-invariance for Uniform Strategies on Event Structures Wed, 22 Feb 2023 22:37:26 +0000 https://doi.org/10.46298/entics.10498 https://doi.org/10.46298/entics.10498 Paquet, Hugo Paquet, Hugo 0 Classifying topoi in synthetic guarded domain theory Wed, 22 Feb 2023 22:37:04 +0000 https://doi.org/10.46298/entics.10323 https://doi.org/10.46298/entics.10323 Palombi, Daniele Sterling, Jonathan Palombi, Daniele Sterling, Jonathan 0 Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem Wed, 22 Feb 2023 22:36:40 +0000 https://doi.org/10.46298/entics.10508 https://doi.org/10.46298/entics.10508 Melliès, Paul-André Zeilberger, Noam Melliès, Paul-André Zeilberger, Noam 0 Revisiting Decidable Bounded Quantification, via Dinaturality Wed, 22 Feb 2023 22:36:20 +0000 https://doi.org/10.46298/entics.10474 https://doi.org/10.46298/entics.10474 Laird, James Laird, James 0 Sufficient Statistics and Split Idempotents in Discrete Probability Theory Wed, 22 Feb 2023 22:35:56 +0000 https://doi.org/10.46298/entics.10520 https://doi.org/10.46298/entics.10520 Jacobs, Bart Jacobs, Bart 0 Extended Addressing Machines for PCF, with Explicit Substitutions Wed, 22 Feb 2023 22:35:28 +0000 https://doi.org/10.46298/entics.10533 https://doi.org/10.46298/entics.10533 Intrigila, Benedetto Manzonetto, Giulio Munnich, Nicolas Intrigila, Benedetto Manzonetto, Giulio Munnich, Nicolas 0 A Categorical Normalization Proof for the Modal Lambda-Calculus Wed, 22 Feb 2023 22:35:02 +0000 https://doi.org/10.46298/entics.10360 https://doi.org/10.46298/entics.10360 Hu, Jason Z. S. Pientka, Brigitte Hu, Jason Z. S. Pientka, Brigitte 0 The Functional Machine Calculus Wed, 22 Feb 2023 22:34:42 +0000 https://doi.org/10.46298/entics.10513 https://doi.org/10.46298/entics.10513 Heijltjes, Willem Heijltjes, Willem 0 The Internal Operads of Combinatory Algebras Wed, 22 Feb 2023 22:34:03 +0000 https://doi.org/10.46298/entics.10338 https://doi.org/10.46298/entics.10338 Hasegawa, Masahito Hasegawa, Masahito 0 A Complete Diagrammatic Calculus for Boolean Satisfiability Wed, 22 Feb 2023 22:33:34 +0000 https://doi.org/10.46298/entics.10481 https://doi.org/10.46298/entics.10481 Gu, Tao Piedeleu, Robin Zanasi, Fabio Gu, Tao Piedeleu, Robin Zanasi, Fabio 0 Weakening and Iterating Laws using String Diagrams Wed, 22 Feb 2023 22:33:04 +0000 https://doi.org/10.46298/entics.10482 https://doi.org/10.46298/entics.10482 Goy, Alexandre Goy, Alexandre 0 Free Commutative Monoids in Homotopy Type Theory Wed, 22 Feb 2023 22:32:41 +0000 https://doi.org/10.46298/entics.10492 https://doi.org/10.46298/entics.10492 Choudhury, Vikraman Fiore, Marcelo Choudhury, Vikraman Fiore, Marcelo 0 Data Layout from a Type-Theoretic Perspective Wed, 22 Feb 2023 22:32:16 +0000 https://doi.org/10.46298/entics.10507 https://doi.org/10.46298/entics.10507 DeYoung, Henry Pfenning, Frank DeYoung, Henry Pfenning, Frank 0