MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Retraction Approach to CPS Transform." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Retraction Approach to CPS Transform
by Jakov Kucan — 1998 — Higher-Order and Symbolic Computation
…Retraction Approach to CPS Transform Jakov Kucan Department of Mathematics Massachusetts…
Cited by 2 (0 self) – Add To MetaCart

Retraction Approach to CPS Transform
by Jakov Kucan Department, Jakov Kucan — 1998 — Higher-Order and Symbolic Computation
…Retraction Approach to CPS Transform Jakov Kucan Department of Mathematics Massachusetts…
Add To MetaCart

Metatheorems about Convertibility in Typed Lambda Calculi: Applications to CPS transform and "Free
by Jakov Kucan, Jakov Kucan — 1997
… : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 92 Chapter 1 Retraction Approach to CPS Transform Abstract: We study the continuation passing style…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB