The following pages link to (Q2778814):
Displayed 5 items.
- A decidable theory of type assignment (Q365669) (← links)
- How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195) (← links)
- Parameter-free polymorphic types (Q958481) (← links)
- Elementary Proof of Strong Normalization for Atomic F (Q2957669) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)