Structural Induction and Coinduction in a Fibrational Setting

• 作者Claudio Hermida; Bart Jacobs
• 卷第145卷
• 期第2期
• 印刷ISSN0890-5401
• 电子ISSN1090-2651
• 文件大小2336.49KB
• 发表时间1998
• DOI10.1006/inco.1998.2725
• 页码107-152