A Variable Typed Logic of Effects

Furio Honsell Ian A. Mason Scott F. Smith Carolyn L. Talcott

Published in: Inf. Comput. (1995)

Keyphrases

lambda calculus
higher order
logic programming
automated reasoning
predicate logic
real time
genetic algorithm
modal logic
theorem prover
multi valued