Stem hereditarili$ (all stems)

5 papers:

CADE-2015-Paulson #automaton #finite #formal method #set #using

A Formalisation of Finite Automata Using Hereditarily Finite Sets (LCP), pp. 231–245.

PPDP-2014-Tarau #encoding

Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers (PT), pp. 31–42.

SAC-2014-TarauB #algorithm

Arithmetic algorithms for hereditarily binary natural numbers (PT, BPB), pp. 1593–1600.

LATA-2011-PolicritiT #finite #set

Well-Quasi-Ordering Hereditarily Finite Sets (AP, AIT), pp. 440–451.

SAC-2009-Tarau #data type #finite #haskell #morphism

Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell (PT), pp. 1898–1902.