Encoding the pure lambda calculus into hierarchical graph rewriting

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

9 Citations (Scopus)

Fingerprint Dive into the research topics of 'Encoding the pure lambda calculus into hierarchical graph rewriting'. Together they form a unique fingerprint.

Mathematics

Medicine & Life Sciences

Chemical Compounds

Engineering & Materials Science