Login / Signup

Lambda Calculus with Regular Types.

Besik DunduaMário FloridoTemur Kutsia
Published in: SYNASC (2015)
Keyphrases
  • lambda calculus
  • programming language
  • program understanding
  • data structure
  • expert systems
  • functional dependencies
  • database technology