Login / Signup

Decidable structures between Church-style and Curry-style.

Ken-etsu FujitaAleksy Schubert
Published in: RTA (2013)
Keyphrases
  • information retrieval
  • decision making
  • website
  • special case