Front Matter, Table of Contents, Preface, Conference Organization
| 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 Table of Contents Security and privacy → Systems security Theory of computation → Type theory Theory of computation → Logic and verification Theory of computation → Logic Conference Organization Theory of computation → Proof theory Theory of computation → Process calculi Software and its engineering → Formal software verification Theory of computation → Type structures Preface Theory of computation → Constructive mathematics Front Matter |
| DOI: | 10.4230/lipics.types.2021.0 |
| Popis: | Front Matter, Table of Contents, Preface, Conference Organization LIPIcs, Vol. 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021), pages 0:i-0:viii |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|