Lambda calculus

Authors
Publication date 2003
Host editors
  • Terese
Book title Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science
Series 45
Pages (from-to) 548-587
Publisher Cambridge: Cambridge University Press
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back