Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga.

Jonas Kaiser Brigitte Pientka Gert Smolka

Published in: FSCD (2017)

Keyphrases

case study
test bed
fixed point
pattern recognition
prior knowledge
artificial intelligence
feature selection
image processing
reinforcement learning
data streams
formal methods
lambda calculus