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
Unless explicitly stated otherwise all material
is copyright © The University of Edinburgh
Comments and corrections to:
Last modified: Friday 25 July 2008