92 search results - page 1 / 19 » Generating Bijections between HOAS and the Natural Numbers |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
ly correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have ...
ENDM
2008
13 years 7 months ago
2008
We present a simple bijection between Baxter permutations of size n and plane bipolar orientations with n edges. This bijection translates several classical parameters of permutati...
COMBINATORICS
2004
13 years 7 months ago
2004
In 1958, Richard Guy proved that the number of partitions of n into odd parts greater than one equals the number of partitions of n into distinct parts with no powers of 2 allowed...
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
JCT
2011
13 years 2 months ago
2011
The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define...