The following pages link to Variable Binding Term Operators (Q5672866):
Displayed 6 items.
- On a synonymy relation for extensional first order theories. I: A notion of synonymy (Q594088) (← links)
- Notes on the theory of variable binding term operators (Q3657974) (← links)
- Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 (Q3755423) (← links)
- Are there paradoxes of the set of all sets? (Q3902999) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Intuitionistic ϵ‐ and τ‐calculi (Q4857864) (← links)