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

2004

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers