Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- programming languages 6 Treffer
- proof theory 5 Treffer
- topology 5 Treffer
- type theory 5 Treffer
- homotopy type theory 4 Treffer
-
19 weitere Werte:
- algorithms 3 Treffer
- computer algorithms 3 Treffer
- computers 3 Treffer
- geometry 3 Treffer
- homotopy equivalences 3 Treffer
- isomorphisms 3 Treffer
- mathematical logic 3 Treffer
- mathematics 3 Treffer
- model categories (mathematics) 3 Treffer
- pattern matching 3 Treffer
- categorical semantics 2 Treffer
- categories (mathematics) 2 Treffer
- continuous distributions 2 Treffer
- distribution (probability theory) 2 Treffer
- graph theory 2 Treffer
- limit theorems 2 Treffer
- measure theory 2 Treffer
- model structure 2 Treffer
- probabilistic programming 2 Treffer
Publikation
Sprache
6 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-04-01), Heft 4, S. 392-423Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021-11-01), Heft 10, S. 1301-1329Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 30 (2020), S. 1-14Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 28 (2018), S. N.PAG- (55S.)Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-06-01), Heft 5, S. 1040-1070Online academicJournalZugriff:
-
In: Mathematical Proceedings of the Cambridge Philosophical Society, Jg. 146 (2009), Heft 1, S. 45-55academicJournalZugriff: