Infinitary combinatory reduction systems: normalising reduction strategies

Jeroen Ketema, Jakob Grue Simonsen

9 Citationer (Scopus)
37 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Infinitary combinatory reduction systems: normalising reduction strategies'. Sammen danner de et unikt fingeraftryk.

Matematik