Functional computation as concurrent computation

1996/01/01 by Joachim Niehren · 3 citations
Computer Science · #Logic, programming, and type systems #Distributed systems and fault tolerance #Logic, Reasoning, and Knowledge

paper · doi:10.1145/237721.237801

openalex publication_date 1996/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29

Abstract

Available from TIB Hannover: RR 1812(95-14) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliothek

Citations

• A natural semantics for lazy evaluation

Cited by

• Call-by-Value Lambda Calculus as a Model of Computation in Coq
• Uniform confluence in concurrent computation
• Lazy evaluation [wikipedia]