Thorsten Altenkirch: Computerphile: Computer Science ∩ Mathematics (Type Theory)

Friday, January 13, 2017

Thorsten Altenkirch: Computerphile: Computer Science ∩ Mathematics (Type Theory)

Thorsten Altenkirch

ラベル: Homotopy type theory

Newer Post Older Post Home

New Music (最新音楽)

Smashing Pumpkins - Spellbinding
Smashing Pumpkins - Empires
Smashing Pumpkins - Beguilded

Theoretical Physics (理論物理学)

Mathematics (数学)

Blog Archive

► 2024 (2)
- ► November (1)
- ► September (1)

► 2023 (76)
- ► December (2)
- ► November (1)
- ► October (1)
- ► September (1)
- ► August (5)
- ► July (9)
- ► June (2)
- ► May (6)
- ► April (6)
- ► March (12)
- ► February (7)
- ► January (24)

► 2022 (146)
- ► December (24)
- ► November (13)
- ► October (9)
- ► September (6)
- ► August (9)
- ► July (7)
- ► June (7)
- ► May (14)
- ► April (20)
- ► March (14)
- ► February (21)
- ► January (2)

► 2021 (252)
- ► December (18)
- ► November (31)
- ► October (11)
- ► September (10)
- ► August (26)
- ► July (36)
- ► June (23)
- ► May (29)
- ► April (28)
- ► March (13)
- ► February (10)
- ► January (17)

► 2020 (245)
- ► December (41)
- ► November (10)
- ► October (5)
- ► September (14)
- ► August (34)
- ► July (44)
- ► June (14)
- ► May (25)
- ► April (27)
- ► March (25)
- ► February (1)
- ► January (5)

► 2019 (362)
- ► December (15)
- ► November (26)
- ► October (12)
- ► September (12)
- ► August (40)
- ► July (23)
- ► June (24)
- ► May (50)
- ► April (69)
- ► March (31)
- ► February (23)
- ► January (37)

► 2018 (707)
- ► December (66)
- ► November (101)
- ► October (61)
- ► September (57)
- ► August (35)
- ► July (48)
- ► June (104)
- ► May (65)
- ► April (83)
- ► March (70)
- ► February (15)
- ► January (2)

▼ 2017 (748)
- ► December (40)
- ► November (23)
- ► October (42)
- ► September (29)
- ► August (42)
- ► July (49)
- ► June (89)
- ► May (66)
- ► April (36)
- ► March (115)
- ► February (81)
- ▼ January (136)

► 2016 (1229)
- ► December (73)
- ► November (87)
- ► October (94)
- ► September (124)
- ► August (74)
- ► July (142)
- ► June (190)
- ► May (132)
- ► April (53)
- ► March (84)
- ► February (64)
- ► January (112)

► 2015 (1299)
- ► December (49)
- ► November (174)
- ► October (106)
- ► September (168)
- ► August (215)
- ► July (259)
- ► June (37)
- ► May (50)
- ► April (78)
- ► March (117)
- ► February (29)
- ► January (17)

► 2014 (604)
- ► December (46)
- ► November (50)
- ► October (218)
- ► September (210)
- ► August (15)
- ► June (1)
- ► May (24)
- ► April (30)
- ► March (2)
- ► January (8)

► 2013 (437)
- ► November (4)
- ► October (6)
- ► September (21)
- ► August (100)
- ► July (168)
- ► June (103)
- ► May (6)
- ► April (10)
- ► March (3)
- ► February (2)
- ► January (14)

► 2012 (225)
- ► December (2)
- ► November (16)
- ► October (12)
- ► July (1)
- ► June (2)
- ► May (39)
- ► April (34)
- ► March (104)
- ► February (15)

► 2011 (1)
- ► September (1)

► 2010 (43)
- ► November (2)
- ► September (26)
- ► August (15)

► 2000 (46)
- ► January (46)

Special Pages

Mathematics (数学)
Physics (物理学)
Ethics (倫理)
Faces

Music (音楽)

The Smashing Pumpkins: IN ASHES The Smashing Pumpkins: Cyr
The Smashing Pumpkins: Ramona
The Smashing Pumpkins: Wyttch William Patrick Corgan: Hard Times William Patrick Corgan: Cotillions William Patrick Corgan: Cri De Coeur William Patrick Corgan: Like Lambs William Patrick Corgan: Anon Knights of Malta by Smashing Pumpkins Silvery Sometimes (Ghosts) (Music video) by The Smashing Pumpkins Solara (Music video) by The Smashing Pumpkins Billy Corgan: Pillbox Billy Corgan: Neath The Darkest Eves Aeronaut by William Patrick Corgan

Simple theme. Powered by Blogger.