Damien Sereni
| Dr Damien Sereni
Research Officer
01865283551
|
interests
Please see my personal page for details.
biography
Please see my personal page for details.
publications
|
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) |
View all
info
location
Room 006, Wolfson Building, Parks Road, Oxford OX1 3QD
|
