Dependent Types Considered Necessary for Specification Languages.

Thomas Streicher Martin Wirsing

Published in: ADT (1990)

Keyphrases

specification languages
formal specification
object oriented programs
neural network
first order logic
mutually dependent
artificial intelligence
decision making
knowledge base
high level