Login / Signup

Recursive Functions on Lazy Lists via Domains and Topologies.

Andreas LochbihlerJohannes Hölzl
Published in: ITP (2014)
Keyphrases
  • recursive functions
  • inductive inference
  • application domains
  • real world
  • search engine
  • kernel methods
  • complex domains