The following pages link to Semantic types (Q3452249):
Displaying 4 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- A solution to the PoplMark challenge based on de Bruijn indices (Q1945917) (← links)
- Syntactic Logical Relations for Polymorphic and Recursive Types (Q2864153) (← links)
- (Q5091145) (← links)
