By the way, if anyone is interested in getting a feel of the difference between these types of systems but is more just generally interested and doesn't necessa

By the way, if anyone is interested in getting a feel of the difference between these types of systems but is more just generally interested and doesn't necessarily have anything they want/need to prove themselves this: http://www.cs.ru.nl/~freek/comparison/comparison.pdf http://www.cs.ru.nl/~freek/comparison/comparison.pdf is a good document to skim through/jump around.