LIPIcs, Volume 239, TYPES 2021, Complete Volume
| Autor: | Basold, Henning, Cockx, Jesper, Ghilezan, Silvia |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: |
Theory of computation → Interactive proof systems
Computing methodologies → Representation of mathematical objects Theory of computation → Linear logic Data processing Computer science LIPIcs Volume 239 TYPES 2021 Complete Volume Security and privacy → Systems security Theory of computation → Type theory Theory of computation → Logic and verification Theory of computation → Logic Theory of computation → Proof theory Theory of computation → Process calculi Software and its engineering → Formal software verification Theory of computation → Type structures ddc:004 Theory of computation → Constructive mathematics |
| Popis: | LIPIcs, Volume 239, TYPES 2021, Complete Volume LIPIcs, Vol. 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021), pages 1-280 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|