Mechanobiology of interfacial growth
- 期刊名称Journal of the Mechanics and Physics of Solids
- 作者Ciarletta, P.; Preziosi, L.; Maugin, G.A.
- 卷第61卷
- 期第3期
- 印刷ISSN0022-5096
- 文件大小886.47KB
- 发表时间2013-3
- DOI10.1016/j.jmps.2012.10.011
- 页码852-872
Full intuitionistic linear logic (extended abstract)Martin Hyland; Valeria de Paiva · 1993
Pseudo-commutative MonadsMartin Hyland; John Power · 2001
ForewordGeorge Janelidze; Martin Hyland; Michael Johnson; Peter Johnstone; Stephen Lack; Ross Street; Walter Tholen; Richard Wood · 2011
Combining effects: Sum and tensorMartin Hyland; Gordon Plotkin; John Power · 2006
Discrete Lawvere theories and computational effectsMartin Hyland; John Power · 2006
Combining algebraic effects with continuationsMartin Hyland; Paul Blain Levy; Gordon Plotkin; John Power · 2007
Two-dimensional linear algebraMartin Hyland; John Power · 2001
Computability in Europe 2010Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo · 2012
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013