Login / Signup

POPLMark reloaded: Mechanizing proofs by logical relations.

Andreas AbelGuillaume AllaisAliya HameerBrigitte PientkaAlberto MomiglianoSteven SchäferKathrin Stark
Published in: J. Funct. Program. (2019)
Keyphrases
  • logical structure
  • semantic relations
  • theorem proving
  • real time
  • neural network
  • social networks
  • causal relations
  • logical operations
  • formal proofs