Typed Norms.

Annalisa Bossi Nicoletta Cocco Massimo Fabris

Published in: ESOP (1992)

Keyphrases

higher order
lambda calculus
database
databases
case study
fixed order
genetic algorithm
multiscale
expert systems
social norms