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.

Petri net models for the lambda-calculus

Erik Meijer. Petri net models for the lambda-calculus. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986. Volume 266 of Lecture Notes in Computer Science, pages 162-180, Springer, 1986.

Abstract

Abstract is missing.

runs on