Home
 

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