Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3442
Title: An Extensional Böhm Model
Authors: Severi, Paula
de Vries, Fer-Jan
First Published: 29-Jan-2008
Citation: Rewriting Techniques and Applications, Proceedings of the 13th International Conference, RTA 2002, Copenhagen Denmark, July 2002. Lecture Notes in Computer Science 2378, pp. 159-173
ISBN: 3540439161
Links: http://dx.doi.org/10.1007/3-540-45610-4_12
http://hdl.handle.net/2381/3442
Type: Conference paper
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.