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