Computing with Abstract Böhm Trees.

Pierre-Louis CurienHugo Herbelin
Published in: Fuji International Symposium on Functional and Logic Programming (1998)