The following pages link to (Q4023825):
Displayed 50 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- A sequential reduction strategy (Q671504) (← links)
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- A faithful computational model of the real numbers (Q671999) (← links)
- Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714) (← links)
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Term rewriting and Hoare logic -- Coded rewriting (Q673226) (← links)
- On fuzzy type theory (Q703370) (← links)
- Theory revision with queries: Horn, read-once, and parity formulas (Q814598) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Meadows and the equational specification of division (Q1006649) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Modularity of confluence: A simplified proof (Q1318777) (← links)
- Confluence by decreasing diagrams (Q1322164) (← links)
- \(F\)-semantics for type assignment systems (Q1329739) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Comparing cubes of typed and type assignment systems (Q1365249) (← links)
- A useful \(\lambda\)-notation (Q1365680) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- A linear logical framework (Q1400718) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Constraint contextual rewriting. (Q1404984) (← links)
- Binary decision diagrams for first-order predicate logic. (Q1426055) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- On normalizing, non-terminating one-rule string rewriting systems (Q1575660) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Globalization of confluent partial actions on topological and metric spaces (Q1764665) (← links)
- Algebraic models of microprocessors architecture and organisation (Q1815999) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- The combinator S (Q1854346) (← links)
- Integration in Real PCF (Q1854356) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Extension of valuations on locally compact sober spaces (Q1862060) (← links)
- A constructive approach to nonstandard analysis (Q1892939) (← links)