Furio Honsell

1. A framework for defining logics
   1993/01/01 by Robert Harper, Furio Honsell, Gordon Plotkin · 30 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification