Login
From:
Semantic Domain
(Uncensored)
subscribe
Church Encodings, Inductive Types, and Relational Parametricity
https://semantic-domain.blogspot.com/2020/12/church-encodings-are-inductive-types.html
links
backlinks
Roast topics
Find topics
Find it!
My blogging has been limited this past year due to RSI, but I do not want to leave things entirely fallow, and last year I wrote an email which can be edited into a decent enough blog post.
