MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Denotational Account of Untyped Normalization by Evaluation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • A Denotational Account of Untyped Normalization by Evaluation  
  • by Copyright C, Henning K. Rohde, Andrzej Filinski, Andrzej Filinski, Andrzej Filinski, Henning Korsholm Rohde, Henning Korsholm Rohde, Henning Korsholm Rohde — 2003
  • … in Computer Science A Denotational Account of Untyped Normalization by Evaluation Andrzej Filinski Henning…
  • Add To MetaCart
  • A denotational account of untyped normalization by evaluation  
  • by Andrzej Filinski, Henning Korsholm Rohde — 2004 — Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, number 2987 in Lecture Notes in Computer Science
  • …A Denotational Account of Untyped Normalization by Evaluation ⋆ Andrzej Filinski 1 and Henning…
  • Cited by 5 (1 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB