Janus Troelsen#neuhier I previously lived in Darmstadt, but now I live in Mexico. I participate in a Discord-based reading group for the Types and Programming Languages book, we just finished covering Simply Typed Lambda Calculus. If interesting, please let me know and I can help get you up to speed and you can join us.
HoldMyType@janus how about stratified lambda calculus - axiom of restricted comprehension?
@xameer sounds interesting. I don't think Pierce covers it, but do you know of a textbook that does?
@janus
I only read some paper when I used twitter and was reading on quine's new foundation on math
in context of how different set theories related lambda calculus and then type theory, too many functional pearls texts ( not books)
https://randall-holmes.github.io/
Yes this was the guy , very cool cool texts what's the URL to discord thing?
I ll join it after the job hunt
Edited
I only read some paper when I used twitter and was reading on quine's new foundation on math
in context of how different set theories related lambda calculus and then type theory, too many functional pearls texts ( not books)
https://randall-holmes.github.io/
Yes this was the guy , very cool cool texts what's the URL to discord thing?
I ll join it after the job hunt
Edited