Uustalu, Tarmo (ed.) 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. (English) Zbl 1392.68035 LIPIcs – Leibniz International Proceedings in Informatics 69. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-030-9). xii, 9 articles, not consecutively paged, electronic only, open access (2018). Show indexed articles as search result. The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1329.68029].Indexed articles:Adams, Robin; Jacobs, Bart, A type theory for probabilistic and Bayesian reasoning, Article 1, 34 p. [Zbl 1433.68264]Ahrens, Benedikt; Matthes, Ralph, Heterogeneous substitution systems revisited, Article 2, 23 p. [Zbl 1433.68220]Altenkirch, Thorsten; Kaposi, Ambrus, Towards a cubical type theory without an interval, Article 3, 27 p. [Zbl 1434.03035]Ancona, Davide; Giannini, Paola; Zucca, Elena, Constrained polymorphic types for a calculus with name variables, Article 4, 29 p. [Zbl 1433.68085]Cohen, Cyril; Coquand, Thierry; Huber, Simon; Mörtberg, Anders, Cubical type theory: a constructive interpretation of the univalence axiom, Article 5, 34 p. [Zbl 1434.03036]Edi, Juan; Viso, Andrés; Bonelli, Eduardo, Efficient type checking for path polymorphism, Article 6, 23 p. [Zbl 1433.68094]Paolini, Luca; Piccolo, Mauro; Roversi, Luca, A certified study of a reversible programming language, Article 7, 21 p. [Zbl 1433.68080]Parmann, Erik, Functional Kan simplicial sets: non-constructivity of exponentiation, Article 8, 25 p. [Zbl 1434.03020]Pizani, Flor João Paulo; Swierstra, Wouter; Sijsling, Yorick, \(\Pi\)-Ware: hardware description and verification in Agda, Article 9, 27 p. [Zbl 1433.68081] Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 03B70 Logic in computer science 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1329.68029 PDFBibTeX XMLCite \textit{T. Uustalu} (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18--21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2018; Zbl 1392.68035) Full Text: DOI Link