Searching for "Computational Types from a Logical Perspective." – 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.

Computational Types from a Logical Perspective I
by P.N. Benton, G.M. Bierman, V.C.V. de Paiva — 1995
…Computational Types from a Logical Perspective I P.N. Benton G.M. Bierman y V.C.V. de Paiva…
Cited by 42 (6 self) – Add To MetaCart

Showing 1 through 1.

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