Two-dimensional linear algebra
- 作者Martin Hyland; John Power
- 卷第44卷
- 期第1期
- 印刷ISSN1571-0661
- 文件大小149.52KB
- 发表时间2001
- DOI10.1016/s1571-0661(04)80910-1
- 页码227-240
同作者推荐
OnDemandOBJ: A Laboratory for Strategy AnnotationsMaría Alpuente; Santiago Escobar; Salvador Lucas · 2003
Redundancy of Arguments Reduced to InductionMaría Alpuente; Rachid Echahed; Santiago Escobar; Salvador Lucas · 2002
Correct and Complete (Positive) Strategy Annotations for OBJMaría Alpuente; Santiago Escobar; Salvador Lucas · 2004