Nominal Sets

Nominal Sets

4.11 - 1251 ratings - Source

The first detailed account of the basic theory and applications of nominal sets.Example 12.1 (Urban et al., 2004, section 1.2) Consider the following equational problems over the nominal algebraic signature for untyped ... VW) :0 A(VW . (W X )(Z y) - t1). where z, w # (x, y, t1) and z I w; hence we would have to have (Wy)(Z x ) - It :11 VW A VW I. (W X)(Zy) ... unique solution, namely t2 I Vy and t3 I Vx. The third problem (12.3) can be solved by taking t4 to be (x y) - t5, for any raw term t5.

Title:Nominal Sets
Author:Andrew M. Pitts
Publisher:Cambridge University Press - 2013-05-30


You Must CONTINUE and create a free account to access unlimited downloads & streaming