×

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]

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
Full Text: DOI Link