Recursive function definition for types with binders
Citation
Norrish, M 2004, 'Recursive function definition for types with binders', in Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (ed.), Theorem Proving in Higher Order Logics: 17th international conference, TPHOLs 2004, Springer, Berlin, Germany, pp. 241-256.Year
2004ANU Authors
Field of Research
- Computational Logic And Formal Languages