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

Tom Gundersen, Willem Heijltjes, Michel Parigot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)
201 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.