The following pages link to (Q3709889):
Displaying 7 items.
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- Model-theoretic conservative extension for definitional theories (Q2333319) (← links)
- (Q2933402) (← links)
- Syntactic approach to constructions of generic models (Q3546078) (← links)
- (Q3839979) (← links)
- (Q4459097) (← links)
- Applications of model theory to the study of ‘soft’ universals in language (Q4597865) (← links)