As of May 31, 2023, we have updated our Code of Conduct.
Mathematics
Nift's user avatar
Nift's user avatar
Nift's user avatar
Nift
  • Member for 4 years, 8 months
  • Last seen more than a month ago
  • Somewhere
Profile Activity
Stats
282
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Curious about metamathematics and computation

Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
8
Type theory and fixed points of datatypes
8
Isbell duality between algebras and sheaves
7
Strongly normalizing type theory beyond induction-recursion
7
Does ST$\lambda$C equal to simple type theory?
7
Can you build W-types out of natural numbers predicatively?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.