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.

Rewriting Properties of Combinators for Rudimentary Linear Logic

Monica Nesi, Valeria de Paiva, Eike Ritter. Rewriting Properties of Combinators for Rudimentary Linear Logic. In Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow, editors, Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA 93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Volume 816 of Lecture Notes in Computer Science, pages 256-275, Springer, 1993.

Authors

Monica Nesi

This author has not been identified. Look up 'Monica Nesi' in Google

Valeria de Paiva

Identified as Valeria de Paiva

Eike Ritter

This author has not been identified. Look up 'Eike Ritter' in Google
runs on