TY  - RPRT
TI  - A Heyting Algebra on Dyck Paths of Type $A$ and $B$
AU  - Henri Mühle
PY  - 2016
DO  - 10.1007/s11083-016-9403-2
UR  - https://arxiv.org/abs/1312.0551
ID  - 1312.0551
ER  -