Pages that link to "Item:Q751644"
From MaRDI portal
The following pages link to A \(\lambda\)-unifiability test for set theory (Q751644):
Displaying 4 items.
- Towards the range property for the lambda theory \(\mathcal H\) (Q930864) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations (Q1319387) (← links)
- The infinity Lambda test: A multi-dimensional version of Banerjee infinity test (Q1575624) (← links)