Local and asynchronous beta-reduction

{
  "doi": null,
  "year": 1993,
  "title": "Local and asynchronous beta-reduction",
  "venue": "Proceedings of the Eighth International Symposium on Logic in Computer Science",
  "authors": [
    "V. Danos",
    "L. Regnier"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}