The following pages link to (Q3787462):
Displayed 22 items.
- The largest cartesian closed category of stable domains (Q671652) (← links)
- On maximal stable functions (Q673145) (← links)
- Stable domains are generalized topological spaces (Q685417) (← links)
- On stable domains (Q685428) (← links)
- Functorial polymorphism (Q753948) (← links)
- Retractions of dI-domains as a model for Type:Type (Q805221) (← links)
- Prime algebraicity (Q843107) (← links)
- Domain interpretations of Martin-Löf's partial type theory (Q916656) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Universal homogeneous event structures and domains (Q1175945) (← links)
- Categories of embeddings (Q1263665) (← links)
- On functions preserving levels of approximation: A refined model construction for various lambda calculi (Q1275633) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Algebraic domains of natural transformations (Q1349657) (← links)
- A partial solution to an open problem of Amadio and Curien (Q1753999) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- Building continuous webbed models for system F (Q1826624) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
- A functorial semantics for observed concurrency (Q5096853) (← links)
- A generalized Kahn Principle for abstract asynchronous networks (Q5887509) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)