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.

Local and asynchronous beta-reduction (an analysis of Girard s execution formula)

Vincent Danos, Laurent Regnier. Local and asynchronous beta-reduction (an analysis of Girard s execution formula). In Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada. pages 296-306, IEEE Computer Society, 1993.

Authors

Vincent Danos

This author has not been identified. Look up 'Vincent Danos' in Google

Laurent Regnier

This author has not been identified. Look up 'Laurent Regnier' in Google
runs on