A Logical Approach to Abstract Algebra.

Thierry Coquand

Published in: CiE (2005)

Keyphrases

abstract data types
data model
high level
query language
database
neural network
multi agent
information technology
algebraic expressions