The following pages link to (Q4309355):
Displayed 4 items.
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- A general mathematics of names (Q2373874) (← links)
- Non-well-foundedness of well-orderable power sets (Q4650262) (← links)