Pages that link to "Item:Q751644"

The following pages link to A \(\lambda\)-unifiability test for set theory (Q751644):

Displaying 2 items.

• Set theory for verification. I: From foundations to functions (Q1319386) (← links)
• \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations (Q1319387) (← links)