Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of firstâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- Michael Roth, Mirella Lapata
- ACL
- 2016

This paper introduces a novel model for semantic role labeling that makes use of neural sequence modeling techniques. Ourâ€¦Â (More)

Is this relevant?

2011

2011

This thesis studies two major extensions of nominal terms. In particular, we study an extension with Î»-abstraction over nominalâ€¦Â (More)

Is this relevant?

2009

2009

Nominal terms use a characteristic combination of features: Two levels of variable: atoms a and unknowns X. Freshness conditionsâ€¦Â (More)

Is this relevant?

2009

2009

- Jesper Bengtson, Joachim Parrow
- Journal of Automated Reasoning
- 2009

This paper presents a mechanisation of psi-calculi, a parametric framework for modelling various dialects of process calculiâ€¦Â (More)

Is this relevant?

2008

2008

We present a simplified version of nominal terms with improved properties. Nominal terms are themselves a version of first-orderâ€¦Â (More)

Is this relevant?

2007

2007

- Murdoch James Gabbay
- Electr. Notes Theor. Comput. Sci.
- 2007

Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewritingâ€¦Â (More)

Is this relevant?

2006

2006

- Maribel FernÃ¡ndez, Murdoch James Gabbay
- TYPES
- 2006

We define a rank 1 polymorphic type system for nominal terms, where typing environments type atoms, variables and functionâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Olivier Jean Blanchard, Jordi GaÄºÄ±
- 2006

We develop a utility based model of fluctuations, with nominal rigidities, and unemployment. In doing so, we combine two strandsâ€¦Â (More)

Is this relevant?

2004

2004

- Steven Raphael
- 2004

P ublic concern over the affordability of housing arises from two factors. First, housing is the single largest expenditure itemâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formulaâ€¦Â (More)

Is this relevant?