Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- compositionality 4 Treffer
- computer network resources 4 Treffer
- detectors 4 Treffer
- hares 4 Treffer
- homotopy theory 4 Treffer
-
14 weitere Werte:
- mathematical research 4 Treffer
- mathematics 4 Treffer
- mathematics theorems 4 Treffer
- palindromes 4 Treffer
- proof theory 4 Treffer
- testudinidae 4 Treffer
- type theory 4 Treffer
- continuations 3 Treffer
- ocaml 3 Treffer
- defunctionalization 2 Treffer
- gallina 2 Treffer
- structural recursion 2 Treffer
- the coq proof assistant 1 Treffer
- voevodsky, vladimir, 1966-2017 1 Treffer
Publikation
Sprache
2 Treffer
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-03-01), Heft 1, S. 1-35Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014-02-01), Heft 2, S. 13-15Online serialPeriodicalZugriff: