Searching for "Metatheoretic Results for a Modal lambda-Calculus" – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Metatheoretical Results for a Modal &lambda;-Calculus
by Joelle Despeyroux, Pierre Leleu, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, B. Jayaraman, A. Krall, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, P. Van, Hentenryck D. S. Warren — 2000
….request@(email omitted); ii Metatheoretic Results for a Modal -Calculus Joelle Despeyroux…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 1.

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