LIPIcs.TYPES.2020.pdf
- Filesize: 3.6 MB
- 204 pages
Document
LIPIcs, Volume 188, TYPES 2020, Complete Volume
Authors
Thorsten Altenkirch 
-
Part of:
Volume:
26th International Conference on Types for Proofs and Programs (TYPES 2020)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Types for Proofs and Programs (TYPES) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2021-06-07
File
Document Identifiers
Author Details
Cite As Get BibTex
26th International Conference on Types for Proofs and Programs (TYPES 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 188, pp. 1-204, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.TYPES.2020
Abstract
LIPIcs, Volume 188, TYPES 2020, Complete Volume
Subject Classification
ACM Subject Classification
- Theory of computation → Proof theory
- Theory of computation → Logic and verification
- Software and its engineering → Formal software verification
- Security and privacy → Systems security
- Theory of computation → Type theory
- Theory of computation → Modal and temporal logics
- Theory of computation → Higher order logic
- Theory of computation → Equational logic and rewriting
- Theory of computation → Linear logic
- Theory of computation → Constructive mathematics
- Theory of computation → Complexity theory and logic
Keywords
- LIPIcs, Volume 188, TYPES 2020, Complete Volume
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads