The following pages link to (Q5798786):
Displayed 5 items.
- Pedagogical second-order \(\lambda \)-calculus (Q732007) (← links)
- A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic (Q1064322) (← links)
- Embedding intuitionistic-type theory in negationless-type theory (Q1820157) (← links)
- (Q5537594) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)