Production, Distribution, and J. S. Mill
- 期刊名称Utilitas
- 作者VALLIER, KEVIN
- 卷第22卷
- 期第2期
- 印刷ISSN0953-8208
- 电子ISSN1741-6183
- 文件大小244.04KB
- 发表时间2010-6
- DOI10.1017/S0953820810000038
- 页码103-125
Using and Understanding Medical Statistics || Contents / Preface 4th Edition, Preface 3rd Edition, Preface 2nd Edition / Preface 1st Edition, · 2007
Preface: Preface for Stiefel IssueJohn H. Dawson; Harry B. Gray · 2007
Preface / Preface / VorwortPaedagogica Europaea · 1965
Preface/PrefaceSen, B. · Uniform Law Review - Revue de droit uniforme · 2005
Vorwon / Preface / PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1973
Preface / PrefaceCurrent Sociology · 1955
Vorwort/Preface/PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1975
PREFAZIONE - PREFACE - PREFACENora Federici and Antonio Golini · Genus · 1995
The calculus of constructionsThierry Coquand; Gérard Huet · 1988
The future of symbolic computationHuet, Gérard · ACM SIGSAM Bulletin · 1984
The ZipperHUET, GÉRARD · Journal of Functional Programming · 1997
Regular Böhm treesHUET, GÉRARD · Mathematical Structures in Computer Science · 1998
Computing with relational machinesHUET, GÉRARD; RAZET, BENOÎT · Mathematical Structures in Computer Science · 2017
Śrı̄ Yantra GeometryGérard Huet · 2002
Special issue on ‘Logical frameworks and metalanguages’HUET, GÉRARD · Journal of Functional Programming · 2003
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