Damien Sereni: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Size-Change Termination of Higher-Order Functional Programs
Damien Sereni
No. RR-04-20, Technical Report, Oxford University Computing Laboratory. October 2004.
Details
|
BibTeX
| Download (ps) |
|
