The folks that through around type 1 and type 2 usually don't actually know what it means.
It refers to a relatively obscure set of formal proofs and doesn't have anything to do with what most people explain it as.
It refers to a relatively obscure set of formal proofs and doesn't have anything to do with what most people explain it as.
For instance, everyone would agree Linux is a conventional OS but Linux provides a kernel module (KVM) that allows for virtualization driven by userspace.