Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems

Research output: Contribution to journalArticlepeer-review

13 Citations (Scopus)

Fingerprint Dive into the research topics of 'Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems'. Together they form a unique fingerprint.

Mathematics