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.
2018
2018
CoPaR: An Efficient Generic Partition Refiner
Partition refinement is a method for minimizing automata and transition systems of various types. We present a tool implementing… 
2018
2018
General Bindings as Functors JASMIN
We present a general framework for specifying and reasoning about syntax with bindings. Abstract binder types are modeled using a… 
2017
2017
Fachbereich Informatik und Mathematik Rewriting of Higher-Order-Meta-Expressions with Recursive Bindings
We introduce rewriting of meta-expressions which stem from a meta-language that uses higher-order abstract syntax augmented by… 
Review
2015
Review
2015
Names and Symmetry in Computer Science (Invited Tutorial)
  • A. Pitts
  • 30th Annual ACM/IEEE Symposium on Logic in…
  • 2015
  • Corpus ID: 25874363
Nominal sets provide a mathematical theory for some of the key concepts that arise when representing and computing with data… 
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… 
2013
2013
Nominal Computation Theory (Dagstuhl Seminar 13422)
This report documents the program and the outcomes of Dagstuhl Seminar 13422 "Nominal Computation Theory". The underlying theme… 
2013
2013
Nominal Sets: References
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… 
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)