Quantcast
Channel: Homotopy Type Theory
Browsing all 15 articles
Browse latest View live

booleans > history

:0
:0
June 18, 2022, 8:04 pm

Updated by Anonymous on 2022-06-19 at 03:04:10Z.

View Article
Search

higher observational type theory > history

:0
:0
June 19, 2022, 11:26 am

Updated by Anonymous on 2022-06-19 at 18:26:34Z.

View Article

an axiomatization of the real numbers > history

:0
:0
June 19, 2022, 4:52 pm

Updated by Anonymous on 2022-06-19 at 23:52:18Z.

View Article

about > history

:0
:0
June 19, 2022, 8:06 pm

Updated by Anonymous on 2022-06-20 at 03:06:12Z.

View Article

universe > history

:0
:0
October 4, 2022, 6:39 am

Updated by Anonymous on 2022-10-04 at 13:39:36Z.

View Article

Tarski universe > history

:0
:0
October 7, 2022, 7:10 am

Updated by Anonymous on 2022-10-07 at 14:10:14Z.

View Article

type theory over logic > history

:0
:0
October 14, 2022, 1:14 pm

Updated by Anonymous on 2022-10-14 at 20:14:38Z.

View Article

propositional logic > history

:0
:0
October 14, 2022, 1:17 pm

Updated by Anonymous on 2022-10-14 at 20:17:28Z.

View Article
Search

HomePage

:0
:0
November 27, 2022, 7:18 pm

Updated by Anonymous on 2022-11-28 at 03:18:42Z.

View Article

cohesive homotopy type theory > history

:0
:0
November 27, 2022, 7:21 pm

Updated by Anonymous on 2022-11-28 at 03:21:30Z.

View Article

ETCS as a dependent type theory > history

:0
:0
November 27, 2022, 7:48 pm

Updated by Anonymous on 2022-11-28 at 03:48:48Z.

View Article

homotopy type theory > history

:0
:0
November 27, 2022, 8:08 pm

Updated by Anonymous on 2022-11-28 at 04:08:03Z.

View Article

dependent type theory > history

:0
:0
November 27, 2022, 10:56 pm

Updated by Anonymous on 2022-11-28 at 06:56:12Z.

View Article

integers

:0
:0
November 22, 2023, 6:48 am

Updated by . on 2023-11-22 at 14:48:41Z.

View Article

Sandbox

:0
:0
December 24, 2023, 10:37 am

Updated by Anonymouse on 2023-12-24 at 18:37:26Z.

View Article
Search
Browsing all 15 articles
Browse latest View live
More Pages to Explore .....
Search

Latest Images

Eco Data 4/26/24

Eco Data 4/26/24

April 25, 2024, 5:00 pm
‘Pay day every day’ may become Shangri-La Group, BPOs’ secret to happy employees

‘Pay day every day’ may become Shangri-La Group, BPOs’ secret to happy employees

April 25, 2024, 5:51 am
Nonprofit donates custom home in this East Bay city for Marine injured in...

Nonprofit donates custom home in this East Bay city for Marine injured in...

April 23, 2024, 7:00 am
New private rooms on Tokaido Shinkansen change the way we travel from Tokyo...

New private rooms on Tokaido Shinkansen change the way we travel from Tokyo...

April 22, 2024, 6:00 am
Ukraine bans military from online gambling amid addiction concerns

Ukraine bans military from online gambling amid addiction concerns

April 22, 2024, 5:17 am
ಮಂಡ್ಯದಿಂದ ಸುಮಲತಾ ದೂರ; ಹೆಚ್‌ಡಿಕೆ ಪರ ಪ್ರಚಾರಕ್ಕಿಳಿಯದ ಸಂಸದೆ –ಬರ್ತಾರೆ ನೋಡೋಣ ಎಂದ...

ಮಂಡ್ಯದಿಂದ ಸುಮಲತಾ ದೂರ; ಹೆಚ್‌ಡಿಕೆ ಪರ ಪ್ರಚಾರಕ್ಕಿಳಿಯದ ಸಂಸದೆ –ಬರ್ತಾರೆ ನೋಡೋಣ ಎಂದ...

April 20, 2024, 8:08 pm
OCBC Bank Singapore Offers Up to 2.8% p.a. Fixed Deposit Promotion from 21...

OCBC Bank Singapore Offers Up to 2.8% p.a. Fixed Deposit Promotion from 21...

April 20, 2024, 12:38 pm
National Poetry Month 2024: Maxine Starr

National Poetry Month 2024: Maxine Starr

April 19, 2024, 9:56 am
Vegan Chicken Pot Pie

Vegan Chicken Pot Pie

April 19, 2024, 9:18 am
Firefox UX: On Purpose: Collectively Defining Our Team’s Mission Statement

Firefox UX: On Purpose: Collectively Defining Our Team’s Mission Statement

April 19, 2024, 7:03 am