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