Unity and identity of opposites in calculus and physics.

F. William Lawvere

Published in: Appl. Categorical Struct. (1996)

Keyphrases

computer science
artificial intelligence
identity management
computer algebra
database
data model
relational calculus
qualitative spatial reasoning