Infinitary combinatory reduction systems: normalising reduction strategies

Jeroen Ketema, Jakob Grue Simonsen

Datalogisk Institut

9 Citationer (Scopus)

37 Downloads (Pure)

Sorter
Vægt
Alfabetisk

Keyphrases

Mathematics