Emergence/Emergent Behavior - What are the three types of emergence?

Nominal, weak, and strong emergence are the three types identified by Mark A. Bedau. Even in theory, his strong emergence cannot be inferred from the low-level domain rules, but weak emergence is only unexpected according to the low-level domain's features and principles.