A Simple Multi-Regional Input–Output Account for Waste Analysis
- 期刊名称Economic Systems Research
- 作者Kagawa, Shigemi; Inamura, Hajime; Moriguchi, Yuichi
- 卷第16卷
- 期第1期
- 印刷ISSN0953-5314
- 电子ISSN1469-5758
- 文件大小201.26KB
- 发表时间2004-03
- DOI10.1080/0953531032000164774
- 页码1-20
Intersection types for explicit substitutionsStéphane Lengrand; Pierre Lescanne; Dan Dougherty; Mariangiola Dezani-Ciancaglini; Steffen van Bakel · 2004
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended AbstractDan Dougherty; Pierre Lescanne; Luigi Liquori; Frédéric Lang · 2005
[ACM Press the 6th ACM SIGPLAN international conference - Verona, Italy (2004.08.24-2004.08.26)] Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 - Characterizing strong normalization in a language with control operatorsDougherty, Dan; Ghilezan, Silvia; Lescanne, Pierre · 2004
Generalised coinductionBARTELS, FALK · Mathematical Structures in Computer Science · 2003
The algebra of multirelationsMARTIN, C. E.; CURTIS, S. A. · Mathematical Structures in Computer Science · 2013
Quantum computation and quantum informationPAUL, THIERRY · Mathematical Structures in Computer Science · 2007
Ordinal computationsKOEPKE, PETER; KOERWIEN, MARTIN · Mathematical Structures in Computer Science · 2006
Categories, relations and dynamic programmingMoor, Oege De · Mathematical Structures in Computer Science · 1994
Differential categoriesBLUTE, R. F.; COCKETT, J. R. B.; SEELY, R. A. G. · Mathematical Structures in Computer Science · 2006
Impredicativity entails untypednessLIETZ, PETER; STREICHER, THOMAS · Mathematical Structures in Computer Science · 2002
Towards a quantum programming languageSELINGER, PETER · Mathematical Structures in Computer Science · 2004