MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logical relations for monadic types." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Logical Relations for Monadic Types
by Jean Goubault-larrecq, Slawomir Lasota, David Nowak — 2002
… notion of logical relations able to deal with the monadic types of Moggi's computational lambda…
Cited by 17 (8 self) – Add To MetaCart

Logical Relations for Monadic Types
by Jean Goubault-Larrecq Slawomir, Slawomir Lasota, David Nowak — 2002
…Logical Relations for Monadic Types ? Jean Goubault-Larrecq 1 , Slawomir Lasota 1…
Add To MetaCart

Logical Relations for Dynamic Name Creation
by Yu Zhang, David Nowak — 2003 — In Proc. CSL/KGL'03, volume 2803 of LNCS
…. This denition was extended in [3] in order to dene a notion of logical relation for monadic types. According…
Cited by 2 (1 self) – Add To MetaCart

http://www.lsv.ens-cachan.fr/Publis/
by In Proc Th, Yu Zhang, David Nowak — 2003 — In Proc. CSL/KGL'03, volume 2803 of LNCS
…. This denition was extended in [3] in order to dene a notion of logical relation for monadic types. According…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB