Toshihiko Kurata
A Type Theoretical View of Böhm-Trees
TLCA, 1997.
@inproceedings{TLCA-1997-Kurata, author = "Toshihiko Kurata", booktitle = "{Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-62688-3_39", isbn = "3-540-62688-3", pages = "231--247", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Type Theoretical View of Böhm-Trees}", volume = 1210, year = 1997, }