### 5 papers:

- ICLP-J-2013-Tarau #prolog
- Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings) (PT), pp. 847–861.
- FLOPS-2012-TorontoM
- Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.
- ICLP-2012-Tarau #performance
- Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection (PT), pp. 312–322.
- DLT-J-2004-Staiger05 #infinity
- Infinite Iterated Function Systems in Cantor Space and the Hausdorff Measure of ω-Power Languages (LS), pp. 787–802.
- DLT-1995-CurrieS #set
- Cantor Sets and Dejean’s Conjecture (JDC, ROS), pp. 35–43.