Iris from the ground up: A modular foundation for higher-order concurrent separation logic.
Ralf JungRobbert KrebbersJacques-Henri JourdanAles BizjakLars BirkedalDerek DreyerPublished in: J. Funct. Program. (2018)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- high order
- iris recognition
- pairwise
- logic programming
- natural images
- classical logic
- modal logic
- derivation rules
- computational properties
- lower order
- markov random field
- iris images
- iris biometrics
- multi valued
- belief propagation
- biometric recognition
- proof theory
- conditional random fields
- concurrent programming
- edge detection