Type theory (current) Curl (mathematics) Proceedings of the IEEE Alvis plc Procuring (prostitution) First Battle of Bull Run OpenLDI Potiretama Geometric Langlands program Universal Coded Character Set Turkish-Japanese Science and Technology University Probe 7, Over and Out Pyramid of Khentkaus II Content validity Maintenance (technical) Photogrammetry Spanish-language Gyanvapi Mosque