[an error occurred while processing this directive]An error occured whilst processing this directive
Using Typed Lambda Calculus to Implement Formal Systems on a
Machine
A. Avron, F. Honsell and I. Mason
No abstract available.
LFCS report ECS-LFCS-87-31
Previous | Index | Next
An error occured whilst processing this directive