Date: 2005-04-13 07:44:53Computer 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 ScienceAdd to Reading ListSource URL: www.brics.dkDownload Document from Source Website File Size: 534,19 KBShare Document on Facebook
|