Login / Signup

Effectively Given Domains and Lambda-Calculus Models

Paola GianniniGiuseppe Longo
Published in: Inf. Control. (1984)
Keyphrases
  • lambda calculus
  • natural language
  • high level
  • data sources
  • co occurrence
  • dynamic systems