Login / Signup

Two Decreasing Measures for Simply Typed λ-Terms.

Pablo BarenbaumCristian Sottile
Published in: FSCD (2023)
Keyphrases
  • quality measures
  • higher order
  • database
  • co occurrence
  • databases
  • artificial intelligence
  • feature selection
  • image sequences
  • video sequences
  • background knowledge