Hyppää sisältöön

Kirjailijakuva

Univalent Foundations Program

Teoksen Homotopy Type Theory: Univalent Foundations of Mathematics tekijä

1 Work 24 jäsentä 0 arvostelua

Tekijän teokset

Suositut Viimeksi

Homotopy Type Theory: Univalent Foundations of Mathematics (2013) 24 kappaletta

Merkitty avainsanalla

Algoritmi (1) computing (1) Filosofia (1) foundations of mathematics (1) Funktionaalinen ohjelmointi (1) Joukko-oppi (1) Kategoriateoria (2) Matematiikka (7) mathematics/homotopy_type_theory (1) oppikirja (1) Tietojenkäsittelytiede (2) type theory (2)

Avainsanojen kääntäminen toiminnassa

Yleistieto

Sukupuoli: n/a

Jäseniä

Tilastot

Teokset: 1
Jäseniä: 24
Suosituimmuussija: #522,742

Kuvat

Kirjailijagalleria

Linkit

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Is This You?

Tule LibraryThing-kirjailijaksi.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Tämä sivusto käyttää evästeitä palvelujen toimittamiseen, toiminnan parantamiseen, analytiikkaan ja (jos et ole kirjautunut sisään) mainostamiseen. Käyttämällä LibraryThingiä ilmaiset, että olet lukenut ja ymmärtänyt käyttöehdot ja yksityisyydensuojakäytännöt. Sivujen ja palveluiden käytön tulee olla näiden ehtojen ja käytäntöjen mukaista.