Abstract Böhm trees. Curien, P. Mathematical Structures in Computer Science, 8(06):559–591, 1998.
bibtex   
@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 = {}}
Downloads: 0