Back to Results
First PageMeta Content
Computability theory / Formal languages / Logic in computer science / Lambda calculus / Models of computation / Reduction strategy / Standard ML / Function / Normal form / Theoretical computer science / Mathematics / Programming language theory


BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science
Add to Reading List

Document Date: 2005-01-20 05:23:35

Open Document

File Size: 208,43 KB

Share Result on Facebook

City

Aachen / /

Country

Germany / Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Computer Science University of Aarhus‡ December / /

Organization

Danish National Research Foundation / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Olivier Danvy BRICS† Department / /

Person

Olivier Danvy / /

/

Position

author / /

ProgrammingLanguage

C / ML / Standard ML / /

URL

www.brics.dk / ftp /

SocialTag