www.cs.ox.ac.uk/publications/publication873-abstract.html

You are here:

• Home
• Research
• Publications
• Termination analysis of lambda calculus and a subset of core ML

Termination analysis of lambda calculus and a subset of core ML

William Blum

Details

Year

2004

Links

BibTeX

Download  (pdf)

Related pages