We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus and first-order ...

previous research has identified the nominal group as the most distinctive feature of the research article title. in contrast, the findings reported in this paper suggest theme/rheme is the dominant structure in title text. theme/rheme structures order and tie nominal groups in titles. when a title starts with a methodological term the first position nominal group acts as a theme marker. thus, ...

Spatial self-imaging, consisting of the periodic replication optical transverse beam profile along propagation direction, can be achieved in guided wave systems when all excited modes interfere phase. We exploited material defects photoluminescence for directly visualizing self-imaging a few-mode, nominal singlemode SMF-28 fiber. Visible luminescence was by intense femtosecond infrared pulses v...

We present a generalisation of first-order unification to the practically important case of equations between terms involving binding operations. A substitution of terms for variables solves such an equation if it makes the equated terms α-equivalent, i.e. equal up to renaming bound names. For the applications we have in mind, we must consider the simple, textual form of substitution in which n...

We investigate different notions of nominal words, that is, words that my contain letters from an alphabet as well as names and name-binders. In a first section we construct them from first principles. In a second section we take the point of view that—as in the classical case—words over an alphabet S form a free monoid over S. We define different notions of nominal monoids and reveal nominal w...

Anecdotal evidence suggests that birds have smaller intestines than mammals. In the present analysis, we show that small birds and bats have significantly shorter small intestines and less small intestine nominal (smooth bore tube) surface area than similarly sized nonflying mammals. The corresponding >50% reduction in intestinal volume and hence mass of digesta carried is advantageous because ...