Denotational Aspects of Untyped Normalization by Evaluation

Andrzej Filinski, Henning Korsholm Rohde

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Denotational Aspects of Untyped Normalization by Evaluation'. Together they form a unique fingerprint.

Computer Science

Keyphrases

Mathematics