Scott Induction and Equational Proofs

• 作者Z. Ésik; L. Bernátsky
• 卷第1卷
• 印刷ISSN1571-0661
• 文件大小1363.47KB
• 发表时间1995
• DOI10.1016/s1571-0661(04)80009-4
• 页码154-181