Login / Signup
Some logical and syntactical observations concerning the first-order dependent type system lambda-P.
Herman Geuvers
Erik Barendsen
Published in:
Math. Struct. Comput. Sci. (1999)
Keyphrases
</>
lambda calculus
real time
predicate calculus
higher order
first order logic
data mining
database
data sets
expert systems
probabilistic logic
logical framework
logical properties
database query languages