HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://danielgratzer.com/papers/type-theory-book.pdf

Current story

#
Principles of dependent type theory [pdf](danielgratzer.com)
HN #49,407,1142026-08-23 08:42 UTC
3 pointsby fanf212 days ago0 comments

Prior reposts (1 of 2 total)

#
Principles of Dependent Type Theory [pdf](danielgratzer.com)
HN #42,047,5102024-11-05 00:24 UTC
3 pointsby todsacerdoti669 days ago0 comments