Pages that link to "Item:Q1173956"
From MaRDI portal
The following pages link to Recursion over realizability structures (Q1173956):
Displaying 26 items.
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- A complete and recursive feature theory (Q673135) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Recursive types for Fun (Q1176245) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- On functions preserving levels of approximation: A refined model construction for various lambda calculi (Q1275633) (← links)
- Combining type disciplines (Q1319505) (← links)
- Recursion theory on the reals and continuous-time computation (Q1349921) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Type destructors (Q1854494) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- Deriving structural hylomorphisms from recursive definitions (Q2817685) (← links)
- Subtyping in logical form (Q2842836) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- Toward a semantics for the QUEST language (Q4365022) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- Baby Modula-3 and a theory of objects (Q4764620) (← links)
- A Generalized Modality for Recursion (Q5145323) (← links)
- The equivalence of two semantic definitions for inheritance in object-oriented languages (Q6116566) (← links)
- An exper model for Quest (Q6116585) (← links)