Searching for "A typed context calculus." – 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.

A Typed Context Calculus
by Masatomo Hashimoto, Atsushi Ohori — 2001
…A Typed Context Calculus 1 Masatomo Hashimoto 2 and Atsushi Ohori 3 Research Institute…
Cited by 9 (0 self) – Add To MetaCart

A Calculus of Lambda Calculus Contexts
by Mirna Bognar, Roel De Vrijer — 2001 — Journal of Automated Reasoning
… of programming languages in mind, M. Hashimoto and A. Ohori (see [8]) proposed a typed context calculus, which…
Cited by 3 (0 self) – Add To MetaCart

The context calculus λc (Extended Abstract)
by Mirna Bognar, Roel De Vrijer — 1999
… context. Sato, Sakurai and Burstall (see [SSB99]) defined a simply typed lambda calculus with firstclass…
Add To MetaCart

Showing 1 through 3.

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