Login / Signup

Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness.

Giuseppe LongoEugenio Moggi
Published in: MFCS (1984)
Keyphrases
  • website
  • social bookmarking
  • real time
  • social networks
  • information systems
  • model selection