Login / Signup

Finite Combinatory Logic with Intersection Types.

Jakob RehofPawel Urzyczyn
Published in: TLCA (2011)
Keyphrases
  • case study
  • logic programming
  • predicate logic
  • real time
  • real world
  • information systems
  • artificial neural networks
  • proof theory