Login / Signup
Abstract effects and proof-relevant logical relations.
Nick Benton
Martin Hofmann
Vivek Nigam
Published in:
POPL (2014)
Keyphrases
</>
relevant concepts
logical structure
higher level
closely related
logical rules
real time
databases
high level
theorem proving
logical representation
logical operations