| 作者 | 題目 | 期刊 | 年份 |
| 劉海燕 Liu, Hai Yan 鄒崇理 |
類型邏輯語法豎線算子的推廣 | 哲學動態 (2011：02) |
2011 |
| 聖神修院神哲學院 香港黃竹坑惠福道六號 校務處：college@hsscol.org.hk 圖書館:library@hsscol.org.hk |
Holy Spirit Seminary College 6, Welfare Road, Aberdeen, HK. General Office: college@hsscol.org.hk Library: library@hsscol.org.hk |