The primitive proof theory of the lambda-calculus

Authors
Publication date
1 January 2003
Publisher
Mathematical and Computer Sciences

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    ROS: The Research Output Service. Heriot-Watt University Edinburgh

    redirect
    oaioai:www.ros.hw.ac.uk:10399/415
    Last time updated on 01/10/2015