Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Game semantics of Martin-Löf type theory: Label: en
Apartness, sharp elements, and the Scott topology of domains: Label: en
Robustness, Scott continuity, and computability: Label: en
Substitution Principle and semidirect products: Label: en
Up-to techniques for behavioural metrics via fibrations: Label: en
Preface to the special issue on metric and differential semantics: Label: en
What should a generic object be?: Label: en
Local Yoneda completions of quasi-metric spaces: Label: en
An intuitionistic set-theoretical model of fully dependent CC: Label: en
Discrete equational theories: Label: en
Learning quantum finite automata with queries: Label: en
A point-free perspective on lax extensions and predicate liftings: Label: en
Fixed point logics and definable topological properties: Label: en
Two-level type theory and applications - ERRATUM: Label: en
A construction of free dcpo-cones: Label: en
The order-K-ification monads: Label: en
A concrete model for a typed linear algebraic lambda calculus: Label: en
Dilations and information flow axioms in categorical probability: Label: en
Bicategorical type theory: semantics and syntax: Label: en
Scott topology on Smyth power posets: Label: en
Not every countable complete distributive lattice is sober: Label: en
Computable soft separation axioms: Label: en
Monoidal weak ω-categories as models of a type theory: Label: en
Two-level type theory and applications: Label: en
The long exact sequence of homotopy n-groups: Label: en
On notions of compactness, object classifiers, and weak Tarski universes: Label: en
Special issue on homotopy type theory 2019 vol. 2: Label: en
A (machine-oriented) logic based on pattern matching: Label: en
Divergences on monads for relational program logics: Label: en
CHAD for expressive total languages: Label: en
Coherent differentiation: Label: en
Behavioural equivalences for continuous-time Markov processes: Label: en
A general framework for the semantics of type theory: Label: en
Univalent categories of modules: Label: en
A domain-theoretic framework for robustness analysis of neural networks: Label: en
Constructing a small category of setoids: Label: en
Relative formal topology: the binary positivity predicate comes first: Label: en
Bisimulations for non-deterministic labelled Markov processes: Label: en
Lenses, fibrations and universal translations: Label: en
Interpolation for predefined types: Label: en
Detection and diagnosis of deviations in distributed systems of autonomous agents: Label: en
Weighted synchronous automata: Label: en
A dual-context sequent calculus for the constructive modal logic S4: Label: en
A linear logic framework for multimodal logics: Label: en
Indexed and fibered structures for partial and total correctness assertions: Label: en
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability: Label: en
Preface to Special Issue: LSFA 2019 and 2020: Label: en
Monoidal reverse differential categories: Label: en
From type theory to setoids and back: Label: en
On function spaces equipped with Isbell topology and Scott topology: Label: en