A Typed Interrupt Calculus.

Jens Palsberg Di Ma

Published in: FTRTFT (2002)

Keyphrases

lambda calculus
higher order
database query languages
automated deduction
fixed order
learning algorithm
programming language
data mining
algebraic structure
proof procedure
expressive power
computer algebra
formal language
relational algebra
real time
description logics
information systems
real world
neural network