Montag, 15. Juni 2009

Space law

Just because I recently had a short discussion involving laws in space, two links:

Outer Space Treaty and International Institute of Space Laq


QML is a functional language for quantum computation on finite types.
See for the project homepage. Check the phd-thesis for extensive information on it: