Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [math.math-ct]mathematics [math]/category theory [math.ct] 3 Treffer
- coq 3 Treffer
- parametricity 3 Treffer
- proof assistants 3 Treffer
- type structures 3 Treffer
-
12 weitere Werte:
- type theory 3 Treffer
- univalence 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- [info.info-gl]computer science [cs]/general literature [cs.gl] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info]computer science [cs] 1 Treffer
- cheri 1 Treffer
- relaxed memory models 1 Treffer
- semantics 1 Treffer
- separation logic 1 Treffer
- verified compilation 1 Treffer
Sprache
5 Treffer
-
In: ISSN: 0004-5411, 2021Online academicJournalZugriff:
-
In: ISSN: 0004-5411, 2021Online academicJournalZugriff:
-
In: ISSN: 0004-5411, 2021Online academicJournalZugriff:
-
In: ISSN: 0004-5411, 2023Online academicJournalZugriff:
-
In: ISSN: 0004-5411, 2013academicJournalZugriff: