Here be writings, tagged as "types".
Remove filter

• 2024-03-19 De Bruijn indices, in TAPL or PLFA style?
• 2023-08-22 λx.x is not polymorphic?
• 2023-07-26 What is first class label?
• 2023-07-11 What is abstracting binding trees?
• 2023-06-20 Relevance logic and bidirectional typing
• 2023-04-26 Formalise your type system, intrinsically
• 2021-12-24 On eliminating nat
• 2021-11-11 Occurrence Typing in Typed Racket