Shame and Guilt in Illness
- 期刊名称Care Giver
- 作者Burck, J. Russell
- 卷第5卷
- 期第1期
- 印刷ISSN1077-8586
- 文件大小776.64KB
- 发表时间1988-09
- DOI10.1080/10778586.1988.10781539
- 页码90-100
Permutability of rules in lattice theorySara Negri; Jan von Plato · Algebra Universalis · 2002
Proof analysis in intermediate logicsRoy Dyckhoff; Sara Negri · 2012
Proof Analysis in Modal LogicSara Negri · 2005
Reasoning About Collectively Accepted Group BeliefsRaul Hakli; Sara Negri · 2011
Proof Theory for Modal LogicSara Negri · 2011
Varieties of Linear CalculiSara Negri · 2002
Continuous domains as formal spacesNEGRI, SARA · Mathematical Structures in Computer Science · 2002
Proof systems for lattice theoryNEGRI, SARA; VON PLATO, JAN · Mathematical Structures in Computer Science · 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