Skip to search formSkip to main contentSkip to account menu

Nominal techniques

Known as: Nominal 
Nominal techniques are a range of techniques, based on nominal sets, for handling names and binding, e.g. in abstract syntax. Research into nominal… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Abstract syntaxDe Bruijn indexNominal terms (computer science)

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Binding Operators for Nominal Sets
2015
2015
Dependent Types for Nominal Terms with Atom Substitutions
Nominal terms are an extended first-order language for specifying and verifying properties of syntax with binding. Founded upon… 
2014
2014
An Equivalent Presentation of the Bezem-Coquand-Huber Category of Cubical Sets
Staton has shown that there is an equivalence between the category of presheaves on (the opposite of) finite sets and partial… 
2014
2014
Event based True Concurrency Models and Psi-calculi
Psi-calculi are a parametric framework for nominal calculi, where standard calculi are found as instances, like the pi-calculus… 
2011
2011
The relationship between inflation, output growth, and their uncertainties: Nonlinear Multivariate GARCH-M evidence
In this paper, we propose a nonlinear multivariate GARCH-M model. We have illustrated the actual modelling by applying the models… 
2008
2008
Permissive nominal terms
We present a simplified version of nominal terms with improved properties. Nominal terms are themselves a version of first-order… 
Review
2008
Review
2008
A Name Abstraction Functor for Named Sets
Highly Cited
2007
Highly Cited
2007
Nominal Equational Logic
2005
2005
SOS for Higher Order Processes
We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a… 
2005
2005
Research on nominal compounding in Chinese
This paper provides a solution to analyze semantic relations of Chinese nominal phrases. Firstly, it gives an introduction about… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)