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

F. Kamareddine, C.J. Bloo, R.P. Nederpelt

Research output: Contribution to journalArticleAcademicpeer-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