Hostname: page-component-6bf8c574d5-mggfc Total loading time: 0 Render date: 2025-02-23T06:27:33.348Z 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.

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