Login / Signup
A tractable logic of types.
Allan Ramsay
Published in:
UNIF (2008)
Keyphrases
</>
data structure
np hard
modal logic
multiple types
real time
website
computational complexity
logic programming