2011
DOI: 10.1007/978-3-642-22953-4_14
|View full text |Cite
|
Sign up to set email alerts
|

Principal Types for Nominal Theories

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
5
0

Year Published

2015
2015
2018
2018

Publication Types

Select...
3
2

Relationship

2
3

Authors

Journals

citations
Cited by 5 publications
(5 citation statements)
references
References 12 publications
0
5
0
Order By: Relevance
“…Since nominal terms have good algorithmic properties, we could translate CRSs to NRSs in order to take advantage of existing nominal procedures (i.e., orderings, completion) and then transfer back the results. The extension to typed systems (adapting the type systems developed for NRSs [12,13] to CRSs) is also left for future work.…”
Section: Discussionmentioning
confidence: 99%
“…Since nominal terms have good algorithmic properties, we could translate CRSs to NRSs in order to take advantage of existing nominal procedures (i.e., orderings, completion) and then transfer back the results. The extension to typed systems (adapting the type systems developed for NRSs [12,13] to CRSs) is also left for future work.…”
Section: Discussionmentioning
confidence: 99%
“…In the latter case, an extended syntax is used, where noncapturing atom-substitution is a primitive notion. Fairweather et al (2011) presents a preliminary version of the polymorphic system; the dependent type system is described in Fairweather et al (2015). Typed nominal rewriting and nominal algebra, both in the Church and Curry styles, are presented in Fairweather and Fernández (2018), where conditions for subject reduction with dynamically and statically typed rewrite rules are given.…”
Section: Related Workmentioning
confidence: 99%
“…The work of Section 3 was first presented in [29]. An earlier version of the material presented in Section 4 and Section 5 was published in [30] in collaboration with Murdoch J. Gabbay. It was subsequently improved upon in [29].…”
Section: Introductionmentioning
confidence: 99%
“…For nominal terms, a Curry-style type system is given in [32], later simplified in [30]. Nominal terms are given sorts in [69] where atoms inhabit base atom sorts and term-formers yield terms of base 'data' sorts.…”
Section: Introductionmentioning
confidence: 99%