@Article{Curien1998a, author = {Curien, PL}, title = {Abstract Böhm trees}, journal = {Mathematical Structures in Computer Science}, volume = {8}, number = {06}, pages = {559--591}, year = {1998}, abstract = {}, location = {}, keywords = {}}