From semantics to rules: A machine assisted analysis (1999)

Cached

Download Links

by Catarina Coquand
Venue:Proceedings of CSL '93, LNCS 832
Citations:29 - 0 self