Computational types from a logical perspective I

Benton, P.
Bierman, G.
Paiva, V. de
Cambridge Univ. (United Kingdom). Computer Lab

Publication date

January 1995

Abstract

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--365) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

We use cookies to provide a better user experience.

Data Protection

Computational types from a logical perspective I

Benton, P.
Bierman, G.
Paiva, V. de
Cambridge Univ. (United Kingdom). Computer Lab

Open link

Publication date

January 1995

Abstract

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--365) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Computational types from a logical perspective I

Abstract

Extracted data

Computational types from a logical perspective I

Abstract

Extracted data

Related items

Related items