All Questions
Tagged with hereditary-substitution type-theory
1
question
12
votes
2
answers
571
views
What is hereditary substitution and why should I use it?
What is hereditary substitutio,n and why should I use it?
I've been taking a look at hereditary substitution for my little programming language, because hereditary substitution is supposed to give a ...