On Formalised Proofs of Termination of Recursvie Functions. International Conference on Principles and Practice of Declarative Programming.

Research output: Contribution to conferencePaper

Original languageEnglish
Pages29-46
Number of pages18
Publication statusPublished - 1999

Cite this