The following pages link to Semantic types (Q3452249):
Displaying 7 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)
- A System F with Call-by-Name Exceptions (Q3519511) (← links)
- On the Values of Reducibility Candidates (Q3637200) (← links)
- (Q5015213) (← links)
- (Q5091145) (← links)
