The following pages link to (Q4385534):
Displaying 29 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- A principled, complete, and efficient representation of C++ (Q359906) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Annotation inference for modular checkers (Q1607087) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Equality between functionals in the presence of coproducts (Q1854334) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692) (← links)
- On the Cognitive and Theoretical Foundations of Big Data Science and Engineering (Q4600212) (← links)
- Proof-theoretic notions for software maintenance (Q4923374) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Categorial graphs (Q5055898) (← links)
- Functional sorts in data type specifications (Q5055916) (← links)
- On abstraction and the expressive power of programming languages (Q5096222) (← links)
- Singleton, union and intersection types for program extraction (Q5096245) (← links)
- Intuitive counterexamples for constructive fallacies (Q5096872) (← links)
- Mechanizing logical relations (Q5890057) (← links)
- Logic, logics, and logicism (Q5937844) (← links)
- Type system in programming languages (Q5942703) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
