Nominal terms (computer science)
Semantic Scholar uses AI to extract papers important to this topic.
This paper introduces a novel model for semantic role labeling that makes use of neural sequence modeling techniques. Our… (More)
This thesis studies two major extensions of nominal terms. In particular, we study an extension with λ-abstraction over nominal… (More)
Nominal terms use a characteristic combination of features: Two levels of variable: atoms a and unknowns X. Freshness conditions… (More)
- Journal of Automated Reasoning
This paper presents a mechanisation of psi-calculi, a parametric framework for modelling various dialects of process calculi… (More)
We present a simplified version of nominal terms with improved properties. Nominal terms are themselves a version of first-order… (More)
- Electr. Notes Theor. Comput. Sci.
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting… (More)
We define a rank 1 polymorphic type system for nominal terms, where typing environments type atoms, variables and function… (More)
We develop a utility based model of fluctuations, with nominal rigidities, and unemployment. In doing so, we combine two strands… (More)
P ublic concern over the affordability of housing arises from two factors. First, housing is the single largest expenditure item… (More)
In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula… (More)