Ge Hong （261-341）, courtesy name Zhichuan, also known as Baopuzi or Ge Ximlweng, born in Jurong of Danyang （present-day Jurong ofJimlgsu Pronce）, was a famous Taoist and physician during the Eastern Jin Dynasty. H...Ge Hong （261-341）, courtesy name Zhichuan, also known as Baopuzi or Ge Ximlweng, born in Jurong of Danyang （present-day Jurong ofJimlgsu Pronce）, was a famous Taoist and physician during the Eastern Jin Dynasty. He had a reputation for broad reading, mad was enthusiastic over Huamg Di Nei Jl＇ng （Yellow Emperor＇s Classic of InternM Mediclhe） and A^J J？hg （Classic of Ditticult Issues）, esoteric arts, mid alchemy. He was once ma official of theEastern Jin Dynasty, but later lived as a recluse on Luofu Mount of Guangdong Province. His one hundred scrolls of Yu Hail FaJlg （PrescripKons Hidden 111 Golden Chambe was supplemented later by Tao Hong-jing and Yang Yong-dao, and became Fu GuaJlg Zhou Hou BeiJi Fang （Supplement Handbook of Prescripgons for Emergenc [Zhou Hou Bei Ji Fang （Handbook of Prescripgons for Emergencies） for short] nowadays, in which, convenient, low-price, and effective treatment methods were included.展开更多
Wang Shu-he, or Wang Xi, was anoutstanding physician from Gaoping （Gaoping of Shanxi Province; another saying is Ji＇ning of Shandong Province） of Western Jin Dynasty who lived around the 3rd CeIltUi3T His major con...Wang Shu-he, or Wang Xi, was anoutstanding physician from Gaoping （Gaoping of Shanxi Province; another saying is Ji＇ning of Shandong Province） of Western Jin Dynasty who lived around the 3rd CeIltUi3T His major contribution was the 10 w）lumes of Mai.展开更多
Encodings in polymorphism with finite product types are considered. These encodings aregiven in terms of I-algebras. They have the property that the ground terms are precisely theclosed normal terms of the encoded typ...Encodings in polymorphism with finite product types are considered. These encodings aregiven in terms of I-algebras. They have the property that the ground terms are precisely theclosed normal terms of the encoded types. The proof of a well-known result is transplantedto the setting and it is shown why weak recursion is admissible. The paper also shows how tocarry out the dual encodingS using the existential quantifier.展开更多
文摘Ge Hong （261-341）, courtesy name Zhichuan, also known as Baopuzi or Ge Ximlweng, born in Jurong of Danyang （present-day Jurong ofJimlgsu Pronce）, was a famous Taoist and physician during the Eastern Jin Dynasty. He had a reputation for broad reading, mad was enthusiastic over Huamg Di Nei Jl＇ng （Yellow Emperor＇s Classic of InternM Mediclhe） and A^J J？hg （Classic of Ditticult Issues）, esoteric arts, mid alchemy. He was once ma official of theEastern Jin Dynasty, but later lived as a recluse on Luofu Mount of Guangdong Province. His one hundred scrolls of Yu Hail FaJlg （PrescripKons Hidden 111 Golden Chambe was supplemented later by Tao Hong-jing and Yang Yong-dao, and became Fu GuaJlg Zhou Hou BeiJi Fang （Supplement Handbook of Prescripgons for Emergenc [Zhou Hou Bei Ji Fang （Handbook of Prescripgons for Emergencies） for short] nowadays, in which, convenient, low-price, and effective treatment methods were included.
文摘Wang Shu-he, or Wang Xi, was anoutstanding physician from Gaoping （Gaoping of Shanxi Province; another saying is Ji＇ning of Shandong Province） of Western Jin Dynasty who lived around the 3rd CeIltUi3T His major contribution was the 10 w）lumes of Mai.
文摘Encodings in polymorphism with finite product types are considered. These encodings aregiven in terms of I-algebras. They have the property that the ground terms are precisely theclosed normal terms of the encoded types. The proof of a well-known result is transplantedto the setting and it is shown why weak recursion is admissible. The paper also shows how tocarry out the dual encodingS using the existential quantifier.
