A classical linear #lambda#-calculus

Bierman, G
Cambridge Univ. (United Kingdom). Computer Lab

Publication date

January 1996

Abstract

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

A classical linear #lambda#-calculus

Bierman, G
Cambridge Univ. (United Kingdom). Computer Lab

Open link

Publication date

January 1996

Abstract

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

A classical linear #lambda#-calculus

Abstract

Extracted data

A classical linear #lambda#-calculus

Abstract

Extracted data

Related items

Related items