You are incorrect. It depends upon what media you are playing from your computer. If you are trying to output hi-res, multichannel PCM or DSD you may run into issues if the computer does not have drivers for your receiver (ASIO). You are usually better off running USB output if you are trying to play high resolution music from your computer to your receiver. Most receivers will not even work with these files.The PC is just another source, there ain't nothing special about a PC feeding a receiver. All you want to know is that the receiver don't have any quirks switching multiple HDMI sources, assuming that's what you will be doing.
Like the other ^ guy says, HDMI no problemo. If you like one of those folks who want the PC to do all the processing and control and feed the whole 7.1 analog channels to the receiver's amplifier section, am out.