Sign up to save your podcasts
Or
Share Adding a top type and allowing non-normalizing terms
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Adding a top type and allowing non-normalizing terms
Curry-style typing and realizability make it sensible to allow a top type to type every term, even non-normalizing ones.
View all episodes
By Aaron Stump
5
1616 ratings
Curry-style typing and realizability make it sensible to allow a top type to type every term, even non-normalizing ones.