Login / Signup

Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.

Koji NakazawaMakoto TatsutaYukiyoshi KameyamaHiroshi Nakano
Published in: CSL (2008)
Keyphrases
  • type checking
  • lambda calculus
  • database query languages
  • description logics
  • data types