Hostname: page-component-74656f9884-8r8nv Total loading time: 0 Render date: 2026-11-07T08:47:52.816Z Has data issue: false hasContentIssue false
  • English
  • Français

Regular Böhm trees

Published online by Cambridge University Press:  01 December 1998

GÉRARD HUET
GÉRARD HUET
Affiliation:
INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. Email: Gerard.Huet@inria.fr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We give a decision procedure for the extensional equality of total Böhm trees presented by regular systems of recursion equations.

Information

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 8 , Issue 6 , December 1998 , pp. 671 - 680
Copyright
© 1998 Cambridge University Press