Back to Results
First PageMeta Content
Applied mathematics / Models of computation / Computability theory / Explicit substitution / Reduction strategy / Operational semantics / Beta normal form / Overlap / Formal language / Mathematics / Theoretical computer science / Lambda calculus


BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science
Add to Reading List

Document Date: 2006-02-02 19:43:31

Open Document

File Size: 360,45 KB

Share Result on Facebook

Country

Denmark / /

Currency

Rs / /

/

Facility

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

IndustryTerm

redex site / computing / /

Organization

Danish National Research Foundation / Abstract Machines Malgorzata Biernacka and Olivier Danvy BRICS∗ Department / University of Aarhus / BRICS Department / Computer Science University of Aarhus Ny Munkegade / /

Person

Olivier Danvy / Curien / /

/

ProgrammingLanguage

C / /

URL

www.brics.dk / ftp /

SocialTag