The following pages link to Generalized filter models (Q1575259):
Displaying 7 items.
- An irregular filter model (Q930872) (← links)
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
- Modelling progressive filtering (Q2804192) (← links)
- Filter models: non-idempotent intersection types, orthogonality and polymorphism (Q2915673) (← links)
- Extended type structures and filter lambda models (Q3221961) (← links)
- Modal Aggregation and the Theory of Paraconsistent Filters (Q4879196) (← links)
- Types for Proofs and Programs (Q5712313) (← links)