Front Matter, Table of Contents, Preface, Conference Organization.FSCD2019: 0:1-0:20
Hongseok Yang: Some Semantic Issues in Probabilistic Programming Languages (Invited Talk).FSCD2019: 4:1-4:6
Herman Geuvers: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany.LIPIcs 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik2019, ISBN 978-3-95977-107-8[contents]