Computing with abstract Bohm trees. Curien, P. & Herbelin, H Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming, Eds M. Sato & Y. Toyama, World Scientific, 1998.
bibtex   
@Article{Curien1998,
author = {Curien, PL and Herbelin, H}, 
title = {Computing with abstract Bohm trees}, 
journal = {Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming, Eds M. Sato \& Y. Toyama, World Scientific}, 
volume = {}, 
number = {}, 
pages = {20--39}, 
year = {1998}, 
abstract = {}, 
location = {}, 
keywords = {}}
Downloads: 0