On the role of names in reasoning about lambda-tree syntax specifications

Citation

Tiu, A 2009, 'On the role of names in reasoning about lambda-tree syntax specifications', Electronic Notes in Theoretical Computer Science, vol. 228, pp. 135-150.

Year

2009

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers