A proof of Higman ' s lemma by structural inductionThierry

  title={A proof of Higman ' s lemma by structural inductionThierry},
  • Coquand
  • Published 1993


Publications referenced by this paper.
Showing 1-10 of 14 references

Burstall . \ Proving properties of programs by structural induction

M. R.
Computer Journal • 1993

Lazy ML User's Manual." Programming Methodology Group, Department of Computer Sciences, Chalmers, Distributed with the LML compiler

L. Augustsson, T. Johnsson
View 1 Excerpt

Well Quasi-Ordered Sets.

F. Richman, G. Stolzenberg
Advances in Mathematics, • 1993
View 1 Excerpt

Constructive Topology and Combinatorics

Constructivity in Computer Science • 1991
View 1 Excerpt

Extracting Constructive Content From Classical Proofs.

C. Murthy
Ph.D. Thesis, • 1990

Similar Papers

Loading similar papers…