A Note on Logical Relations Between Semantics and Syntax (1997)

Cached

Download Links

by Andrew Pitts
Citations:9 - 0 self

Document Versions

A Note on Logical Relations Between Semantics and Syntax –Andrew Pitts — 1997
A Note on Logical Relations Between Semantics and Syntax –Andrew M. Pitts — L. J. of the IGPL