A Framework for Defining Logics (1993)

by Robert Harper , Furio Honsell , Gordon Plotkin
Venue:JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
Citations:696 - 39 self