A Framework for Defining Logics (1993)
Cached
Download Links
by
Robert Harper
,
Furio Honsell
,
Gordon Plotkin
Venue: | JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY |
Citations: | 791 - 42 self |