Proof pearl: de Bruijn terms really do work

Citation

Norrish, M & Vestergaard, R 2007, 'Proof pearl: de Bruijn terms really do work', in Klaus Schneider, Jens Brandt (ed.), Theorem Proving in Higher Order Logics, Springer, Berlin, Germany, pp. 207-222.

Year

2007

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

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