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 34 results in range #1 to #34.

A final coalgebra theorem: Label: en
A dialectica-like model of linear logic: Label: en
From petri nets to linear logic: Label: en
An abstract formulation for rewrite systems: Label: en
Unification properties of commutative theories: A categorical treatment: Label: en
Logic representation in LF: Label: en
Declarative continuations: An investigation of duality in programming language semantics: Label: en
Dictoses: Label: en
On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa: Label: en
Graded multicategories of polynomial-time realizers: Label: en
Quantitative domains, groupoids and linear logic: Label: en
Independence results for calculi of dependent types: Label: en
A set constructor for inductive sets in Martin-Löf's type theory: Label: en
A note on categorical datatypes: Label: en
A category-theoretic account of program modules: Label: en
Projections for polymorphic strictness analysis: Label: en
Operations on records: Label: en
Compositional relational semantics for indeterminate dataflow networks: Label: en
Temporal structures: Label: en
An algebraic view of interleaving and distributed operational semantics for CCS: Label: en
Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective: Label: en
A proposed categorical semantics for ML modules: Label: en
V-comprehensions and P space: Label: en
Decomposing typed lambda calculus into a couple of categorical programming languages: Label: en
Categorical reconstruction of a reduction free normalization proof: Label: en
Categorical fixed point calculus: Label: en
Lifting as a KZ-doctrine: Label: en
The convex powerdomain in a category of posets realized by cpos: Label: en
The S-replete construction: Label: en
Effective applicative structures: Label: en
Proof of a S.Mac Lane conjecture (extended abstract): Label: en
Relational set theory: Label: en
Dualities between nets and automata induced by schizophrenic objects: Label: en
Convenient category of processes and simulations I: Modulo strong bisimilarity: Label: en