On Π-conversion in the λ-cube and the combination with abbreviations

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt

Research output: Contribution to journalArticlepeer-review

14 Citations (Scopus)

Fingerprint

Dive into the research topics of 'On Π-conversion in the λ-cube and the combination with abbreviations'. Together they form a unique fingerprint.

Computer Science

INIS