Back to Results
First PageMeta Content
Computer science / Models of computation / Applied mathematics / Logic in computer science / Normalisation by evaluation / Denotational semantics / De Bruijn index / Symbol / Administrative normal form / Theoretical computer science / Lambda calculus / Programming language semantics


BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science
Add to Reading List

Document Date: 2005-04-13 07:44:53

Open Document

File Size: 534,19 KB

Share Result on Facebook
UPDATE