@article{MSC:44783,
Author = {Huet, G{\` e}rard},
File = {Regular Böhm trees - HUET (0) (0) - a - a - c.pdf},
ISSN = {1469-8072},
Issue = {06},
Journal = {Mathematical Structures in Computer Science},
Month = {12},
Pages = {671--680},
Title = {Regular Böhm trees},
URL = {http://journals.cambridge.org/article\_S0960129598002643},
Volume = {8},
Year = {1998},
bdsk-url-1 = {http://journals.cambridge.org/article\_S0960129598002643},
bdsk-url-2 = {http://dx.doi.org/null},
date-added = {2014-03-29 17:00:54 +0000},
date-modified = {2014-03-29 17:00:54 +0000},
numpages = {10},
doi = {null}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A