External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Constructor Rewrite Systems and the Lambda-Calculus

Ugo Dal Lago, Simone Martini. On Constructor Rewrite Systems and the Lambda-Calculus. In Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas, editors, Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Volume 5556 of Lecture Notes in Computer Science, pages 163-174, Springer, 2009. [doi]

Authors

Ugo Dal Lago

This author has not been identified. Look up 'Ugo Dal Lago' in Google

Simone Martini

This author has not been identified. Look up 'Simone Martini' in Google
runs on