Nominal sets. Names and symmetry in computer science
From MaRDI portal
Publication:2849600
Recommendations
Cited in
(only showing first 100 items - show all)- A general mathematics of names
- scientific article; zbMATH DE number 7649901 (Why is no real title available?)
- Towards nominal computation
- Nominal equational problems
- Nondeterministic and co-nondeterministic implies deterministic, for data languages
- Declarative event based models of concurrency and refinement in psi-calculi
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus
- Fixed-point constraints for nominal equational unification
- Nominal unification with atom and context variables
- SMT solving for functional programming over infinite structures
- Rule formats for nominal process calculi
- Generalised name abstraction for nominal sets
- Various forms of infinity for finitely supported structures
- A presheaf model of parametric type theory
- Five stages of accepting constructive mathematics
- Completeness and incompleteness in nominal Kleene algebra
- Modal dependent type theory and dependent right adjoints
- Rewriting with generalized nominal unification
- Properties of finitely supported self-mappings on the finite powerset of atoms
- On finitary functors
- scientific article; zbMATH DE number 7649889 (Why is no real title available?)
- Category-theoretic structure for independence and conditional independence
- Nominal unification with letrec and environment-variables
- Set-theoretic analysis of nominative data
- scientific article; zbMATH DE number 7003193 (Why is no real title available?)
- Families of symmetries as efficient models of resource binding
- Behavioural equivalences for coalgebras with unobservable moves
- Fuzzy sets within finitely supported mathematics
- Latent semantic analysis of game models using LSTM
- Modal logics for nominal transition systems
- Infinite populations, choice and determinacy
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Nominal automata with name binding
- The nominal/FM Yoneda lemma
- αCheck: A mechanized metatheory model checker
- C-system of a module over a \(Jf\)-relative monad
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- scientific article; zbMATH DE number 7561600 (Why is no real title available?)
- Fast computations on ordered nominal sets
- Rule formats for nominal process calculi
- Nominal Domain Theory for Concurrency
- Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets
- Binding operators for nominal sets
- Coalgebraic semantics for nominal automata
- Bifibrational functorial semantics of parametric polymorphism
- Rensets and renaming-based recursion for syntax with bindings
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
- Properties of the atoms in finitely supported structures
- A general account of coinduction up-to
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- Cubical type theory: a constructive interpretation of the univalence axiom
- A dependent type theory with abstractable names
- A formalisation of nominal C-matching through unification with protected variables
- Automata-theoretic semantics of idealized Algol with passive expressions
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories
- Nominal unification with atom-variables
- On solving nominal disunification constraints
- A program logic for fresh name generation
- Fixed point results for finitely supported algebraic structures
- Validating Brouwer's continuity principle for numbers using named exceptions
- Nominal Renaming Sets
- Exploring nominal cellular automata
- Nominal Kleene coalgebra
- scientific article; zbMATH DE number 7471718 (Why is no real title available?)
- Completeness of Nominal PROPs
- scientific article; zbMATH DE number 7456059 (Why is no real title available?)
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Fast computations on ordered nominal sets
- A nominal relational model for local store
- The far side of the cube. An elementary introduction to game semantics
- On nominal sets with support-preorder
- scientific article; zbMATH DE number 7147443 (Why is no real title available?)
- A spatial logic with time and quantifiers
- AsPINN: Adaptive symmetry-recomposition physics-informed neural networks
- scientific article; zbMATH DE number 7561623 (Why is no real title available?)
- Separated finitely supported \(Cb\)-sets
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
- Solvability of orbit-finite systems of linear equations
- scientific article; zbMATH DE number 7136664 (Why is no real title available?)
- Denotational semantics with nominal Scott domains
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Internal parametricity for cubical type theory
- scientific article; zbMATH DE number 7649885 (Why is no real title available?)
- The fresh-graph of a nominal set
- Transpension: the right adjoint to the Pi-type
- Rensets and renaming-based recursion for syntax with bindings extended version
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- scientific article; zbMATH DE number 7559500 (Why is no real title available?)
- scientific article; zbMATH DE number 7471707 (Why is no real title available?)
- On nominal syntax and permutation fixed points
- Orbit-finite-dimensional vector spaces and weighted register automata
- A certified functional nominal C-unification algorithm
- Nominal Sets in Agda - A Fresh and Immature Mechanization
- Nominal AC-matching
- Unguarded recursion on coinductive resumptions
- A coalgebraic view on reachability
- Formalising nominal C-unification generalised with protected variables
- Automata and coalgebras in categories of species
This page was built for publication: Nominal sets. Names and symmetry in computer science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849600)
