Login / Signup

Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.

Paolo G. GiarrussoLéo StefanescoAmin TimanyLars BirkedalRobbert Krebbers
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • logical structure
  • iris recognition
  • logical rules
  • post processing
  • biometric recognition
  • neural network
  • attribute values
  • semantic relations
  • easy to follow
  • logical theories