Pages that link to "Item:Q4635607"
From MaRDI portal
The following pages link to On the characterization of models of <i>H</i> (Q4635607):
Displaying 7 items.
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- A semantic characterization of the well-typed formulae of \(\lambda\)- calculus (Q1208735) (← links)
- Behavioural inverse limit \(\lambda\)-models (Q1434350) (← links)
- On the characterization of models of \(\mathcal H^\ast\): the semantical aspect (Q2804203) (← links)
- (Q4580329) (← links)
- (Q4625694) (← links)
- Refutation of Sallé's longstanding conjecture (Q5111316) (← links)