Ulrik Buchholtz und Egbert Rijke - Info zur Person

(1 - 19 von 21

)

Programme • Homotopy Type Theory 2023GitHub Pages

hott.github.io

... Christopher Dean, Directed Types are Weak ω-Categories; Ulrik Buchholtz, ... Dan Christensen, Ulrik Buchholtz and Egbert Rijke, Central H-spaces and ...

Tom day Jong - George Kayegeorgejkaye.com

georgejkaye.com

— ... not assume any familiarity with HoTT and pause to introduce the relevant notions. This is joint work with Ulrik Buchholtz and Egbert Rijke.

Floris van DoornPapers With Code

paperswithcode.com

1 code implementation • 12 Feb • Ulrik Buchholtz, Floris van Doorn, Egbert Rijke. We present a development of the theory of higher groups, ...

Beyond Finite Sets -- Homotopy Theory and CombinatoricsLehigh University

lists.lehigh.edu

— ... Ulrik Buchholtz, Robert Burklund, Jesper Møller, Nima Rasekh, Egbert Rijke, Emily Roff, Maru Sarazola, Jan Steinebrunner, ...

[ALGTOP-L] announcing the HoTTEST Summer School ...Lehigh University

lists.lehigh.edu

— ... formalization given by Ulrik Buchholtz, Martín Hötzel Escardó, Dan Licata, Anders Mörtberg, Paige North, Emily Riehl, and Egbert Rijke.

[ ] Central H-spaces and banded typesarXiv

arxiv.org

von U Buchholtz · · Zitiert von: 5 — Central H-spaces and banded types. Authors:Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke.

Ulrik Buchholtz - Publicationsdl.acm.org › profile › publications

dl.acm.org

Ulrik Buchholtz. Technische Universität Darmstadt. ,; Egbert Rijke. Carnegie Mellon University. LICS '17: Proceedings of the 32nd Annual ACM/IEEE Symposium ...

[ ] Higher Groups in Homotopy Type Theory

arxiv.org

Authors: Ulrik Buchholtz, Floris van Doorn, Egbert Rijke. (Submitted on 12 Feb 2018). Abstract: We present a development of the theory of higher groups, ...

Geometry in Modal Homotopy Type Theory - Felix Cherubini

www.bing.com

WebUlrik Buchholtz Eric Finster Egbert Rijke Urs Schreiber Mike Shulman. Preliminary schedule. All talks are in the Steinberg Auditorium, A53 in Baker Hall (google-maps). …

Accepted Papers - TYPES UPVupv.es

types2023.webs.upv.es

Ulrik Buchholtz, Tom de Jong and Egbert Rijke. On epimorphisms and acyclic types in univalent type theory. Tom de Jong, Nicolai Kraus, Fredrik Nordvall ...

Dan Christensen's papers, preprints and talksUniversity of Western Ontario

jdc.math.uwo.ca

Central H-spaces and banded types, joint with Ulrik Buchholtz, Jarl G. Taxerås Flaten, and Egbert Rijke. Submitted. 25 pages. arXiv:

Foundations and Applications of Univalent MathematicsGitHub Pages

cj-xu.github.io

Ulrik Buchholtz: Higher Homotopy n-groups. j.w.w. Egbert Rijke We've previously explored how convenient it is to use HoTT to reason about higher groups: ...

Logic in Computer Science (LICS 2017)ACM/IEEE Symposium on Logic in Computer Science

lics.siglog.org

Authors: Ulrik Buchholtz Egbert Rijke. Abstract. No Abstract Available. BibTeX. @InProceedings{BuchholtzRijke-Therealprojectivesp, author = {Ulrik Buchholtz ...

Higher Structurescas.cz

higher-structures.math.cas.cz

The Cayley-Dickson Construction in Homotopy Type TheoryUlrik Buchholtz and Egbert Rijke, An operadic approach to operator-valued free ...

The moduli space of -space structuresAmerican Mathematical Society

meetings.ams.org

von JGT Flaten — This work is an off-spring of an ongoing, joint project with Ulrik Buchholtz, Dan Christensen, David Jaz Myers, and Egbert Rijke.

LICS ACM/IEEE Symposium on Logic in Computer Sciencelics.siglog.org › archive › BuchholtzDoornRijke-Hig...

lics.siglog.org

Authors: Ulrik Buchholtz Floris van Doorn Egbert Rijke. Abstract. No Abstract Available. BibTeX. @InProceedings{BuchholtzDoornRijke-HigherGroupsinHomot ...

Central H-spaces and banded types,arXiv - MATH - Logicx-mol.com

www.x-mol.com

— Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke. We introduce and study central types, ...

Duality Notions in Real Projective PlaneSciendo

sciendo.com

— [5] Ulrik Buchholtz and Egbert Rijke. The real projective spaces in homotopy type theory. In 32nd Annual ACM/IEEE Symposium on Logic in ...

Alle Infos zum Namen "Ulrik Buchholtz"

Verwandte Suchanfragen zu Ulrik Buchholtz

Peter Burmeister
Julian Bitterlich
Lars Birkedal

Felix Canavoi
Felix Cherubini
Lecture Hall

Person "Buchholtz" (2)
Vorname "Ulrik" (319)
Name "Buchholtz" (169)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Ulrik Buchholtz und Egbert Rijke Person-Info