52 search results - page 1 / 11 » Algebraic Theories over Nominal Sets |
55
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
MSCS
2010
14 years 11 months ago
2010
115
Voted
ENTCS
2008
15 years 15 days ago
2008
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
110
Voted
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
97
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...