The following pages link to Nominal Sets (Q2849600):
Displaying 50 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- A dependent type theory with abstractable names (Q530845) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Properties of finitely supported self-mappings on the finite powerset of atoms (Q821322) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Infinite populations, choice and determinacy (Q1615993) (← links)
- Nominal unification with atom-variables (Q1640638) (← links)
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets (Q1680555) (← links)
- Binding operators for nominal sets (Q1744371) (← links)
- Fuzzy sets within finitely supported mathematics (Q1794962) (← links)
- Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955) (← links)
- Fixed point results for finitely supported algebraic structures (Q2035271) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Various forms of infinity for finitely supported structures (Q2118174) (← links)
- Nominal unification with letrec and environment-variables (Q2119105) (← links)
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
- A program logic for fresh name generation (Q2145263) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Nominal equational problems (Q2233392) (← links)
- Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422) (← links)
- Properties of the atoms in finitely supported structures (Q2288339) (← links)
- A formalisation of nominal C-matching through unification with protected variables (Q2333665) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Cathoristic Logic (Q3297837) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- (Q4585073) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- (Q4611379) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- (Q4969297) (← links)
- (Q4972733) (← links)
- (Q4972736) (← links)
- The nominal/FM Yoneda Lemma (Q4988443) (← links)
- Fixed-Point Constraints for Nominal Equational Unification (Q4993333) (← links)
- (Q4993360) (← links)
- (Q5013828) (← links)
- (Q5021229) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
