LIPIcs, Volume 131, FSCD 2019

• Herman Geuvers LIPIcs, Volume 131, FSCD'19, Complete Volume 10.4230/LIPIcs.FSCD.2019
• Herman Geuvers Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.FSCD.2019.0
• Beniamino Accattoli A Fresh Look at the lambda-Calculus (Invited Talk) 10.4230/LIPIcs.FSCD.2019.1
• Amy P. Felty A Linear Logical Framework in Hybrid (Invited Talk) 10.4230/LIPIcs.FSCD.2019.2
• Sarah Winkler Extending Maximal Completion (Invited Talk) 10.4230/LIPIcs.FSCD.2019.3
• Hongseok Yang Some Semantic Issues in Probabilistic Programming Languages (Invited Talk) 10.4230/LIPIcs.FSCD.2019.4
• Benedikt Ahrens, Dan Frumin, Marco Maggesi, and Niels van der Weide Bicategories in Univalent Foundations 10.4230/LIPIcs.FSCD.2019.5
• Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, and Marco Maggesi Modular Specification of Monads Through Higher-Order Presentations 10.4230/LIPIcs.FSCD.2019.6
• Maciej Bendkowski Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus 10.4230/LIPIcs.FSCD.2019.7
• Małgorzata Biernacka and Witold Charatonik Deriving an Abstract Machine for Strong Call by Need 10.4230/LIPIcs.FSCD.2019.8
• Frédéric Blanqui, Guillaume Genestier, and Olivier Hermant Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting 10.4230/LIPIcs.FSCD.2019.9
• David M. Cerna and Temur Kutsia A Generic Framework for Higher-Order Generalizations 10.4230/LIPIcs.FSCD.2019.10
• Thierry Coquand, Simon Huber, and Christian Sattler Homotopy Canonicity for Cubical Type Theory 10.4230/LIPIcs.FSCD.2019.11
• Łukasz Czajka and Cynthia Kop Polymorphic Higher-Order Termination 10.4230/LIPIcs.FSCD.2019.12
• Ugo Dal Lago and Thomas Leventis On the Taylor Expansion of Probabilistic lambda-terms 10.4230/LIPIcs.FSCD.2019.13
• Alejandro Díaz-Caro and Gilles Dowek Proof Normalisation in a Logic Identifying Isomorphic Propositions 10.4230/LIPIcs.FSCD.2019.14
• Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, and Ivan Scagnetto lambda!-calculus, Intersection Types, and Involutions 10.4230/LIPIcs.FSCD.2019.15
• Clovis Eberhart, Tom Hirschowitz, and Alexis Laouar Template Games, Simple Games, and Day Convolution 10.4230/LIPIcs.FSCD.2019.16
• Thomas Ehrhard Differentials and Distances in Probabilistic Coherence Spaces 10.4230/LIPIcs.FSCD.2019.17
• José Espírito Santo, Luís Pinto, and Tarmo Uustalu Modal Embeddings and Calling Paradigms 10.4230/LIPIcs.FSCD.2019.18
• Claudia Faggian Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms 10.4230/LIPIcs.FSCD.2019.19
• Yosuke Fukuda and Akira Yoshimizu A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 10.4230/LIPIcs.FSCD.2019.20
• Alfons Geser, Dieter Hofbauer, and Johannes Waldmann Sparse Tiling Through Overlap Closures for Termination of String Rewriting 10.4230/LIPIcs.FSCD.2019.21
• Willem B. Heijltjes, Dominic J. D. Hughes, and Lutz Straßburger Proof Nets for First-Order Additive Linear Logic 10.4230/LIPIcs.FSCD.2019.22
• Ross Horne The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic 10.4230/LIPIcs.FSCD.2019.23
• Mirai Ikebuchi A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods 10.4230/LIPIcs.FSCD.2019.24
• Ambrus Kaposi, Simon Huber, and Christian Sattler Gluing for Type Theory 10.4230/LIPIcs.FSCD.2019.25
• Simona Kašterović and Michele Pagani The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus 10.4230/LIPIcs.FSCD.2019.26
• Dominique Larchey-Wendling and Yannick Forster Hilbert’s Tenth Problem in Coq 10.4230/LIPIcs.FSCD.2019.27
• Luigi Liquori and Claude Stolze The Delta-calculus: Syntax and Types 10.4230/LIPIcs.FSCD.2019.28
• Paulin Jacobé de Naurois Pointers in Recursion: Exploring the Tropics 10.4230/LIPIcs.FSCD.2019.29
• Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski Typed Equivalence of Effect Handlers and Delimited Control 10.4230/LIPIcs.FSCD.2019.30
• Jonathan Sterling, Carlo Angiuli, and Daniel Gratzer Cubical Syntax for Reflection-Free Extensional Equality 10.4230/LIPIcs.FSCD.2019.31
• Niccolò Veltri and Niels van der Weide Guarded Recursion in Agda via Sized Types 10.4230/LIPIcs.FSCD.2019.32
• Pierre Vial Sequence Types for Hereditary Permutators 10.4230/LIPIcs.FSCD.2019.33
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, and Alberto Verdejo Model Checking Strategy-Controlled Rewriting Systems (System Description) 10.4230/LIPIcs.FSCD.2019.34