Login / Signup

Comparing Integrated and External Logics of Functional Programs.

Peter Dybjer
Published in: Sci. Comput. Program. (1990)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • expressive power
  • logic programs
  • stochastic grammar
  • modal logic
  • databases
  • description logics
  • distributed environment
  • functional language