Sign in

Abstract effects and proof-relevant logical relations.

Nick BentonMartin HofmannVivek 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