Structured theory presentations and logic representations (1994)

Cached

Download Links

by Robert Harper , Donald Sannella , Andrzej Tarlecki
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:14 - 2 self