Sign in

Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.

Xinyi WanQinxiang Cao
Published in: SETTA (2023)
Keyphrases
  • lambda calculus
  • knowledge representation
  • formal model
  • knowledge base
  • keywords
  • expert systems
  • dynamic systems