zweidimensionales bewegtes Bild

Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory: Q/A Session E - Paper E5.F

to connected objects

Digitalisierung: Hannover TIB

Attribution 3.0 Germany

0
/
0

Location
Hannover TIB
Extent
91MB, 00:23:52:03 (unknown)
Language
Englisch
Notes
Audiovisuelles Material

Bibliographic citation
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)

Event
Veröffentlichung
(who)
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
(when)
2020-01-01
Contributor
Raumer, Jakob von
Kraus, Nicolai

DOI
10.5446/49313
Last update
04.12.2024, 8:09 AM CET

Data provider

This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • zweidimensionales bewegtes Bild

Associated

  • Raumer, Jakob von
  • Kraus, Nicolai
  • Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)

Time of origin

  • 2020-01-01

Other Objects (12)

Qa- [Qa-]

Abschnitt

Qa- [Qa-]

Etale homotopy

Etale homotopy

Stable homotopy

Stable homotopy

Etale homotopy

Etale homotopy

Taming Graphical Modeling.

Taming Graphical Modeling.

Taming the Shrew

Taming the Shrew

Groups of homotopy classes : (Rank formulas and homotopy-commutativity)

Groups of homotopy classes : (Rank formulas and homotopy-commutativity)

Simplicial homotopy theory

Simplicial homotopy theory

Rational homotopy theory

Rational homotopy theory

Fibrewise homotopy theory

Fibrewise homotopy theory

Simplicial homotopy theory

Simplicial homotopy theory

Two models for the homotopy theory of cocomplete homotopy theories

Hochschulschrift

Two models for the homotopy theory of cocomplete homotopy theories

Related objects