The following pages link to (Q4385534):
Displayed 17 items.
- 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)
- 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)