Atomic lambda-calculus: A typed lambda-calculus with explicit sharing

Tom Gundersen, Willem Heijltjes, Michel Parigot

Research output: Chapter in Book/Report/Conference proceedingChapter in a published conference proceeding

14 Citations (SciVal)
244 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Atomic lambda-calculus: A typed lambda-calculus with explicit sharing'. Together they form a unique fingerprint.