The generic approximation lemma by Hutton, G, Gibbons, J

The Generic Approximation Lemma by Hutton, G, Gibbons, J

Proof Methods for Corecursive Programs by Gibbons, J, Hutton, G

Proof methods for corecursive programs by Gibbons, J, Hutton, G

Proof Methods for Structured Corecursive Programs by Gibbons, J, Hutton, G

When is a Function a Fold or an Unfold? by Gibbons, J, Hutton, G, Altenkirch, T

When is a function a fold or an unfold? by Gibbons, J, Hutton, G, Altenkirch, T

Design and rationale of the determining the effectiveness of early intensive versus escalation approaches for the treatment of relapsing-remitting multiple sclerosis (DELIVER-MS) t... by Ontaneda, D, Tallantyre, E, Nakamura, K, Planchon, S, Miller, D, Hersh, C, Chaudhry, B, Bale, C, Alvarez, E, Chataway, J, Craner, M, Freeman, L, Frost, N, Goldman, M, Hobart, J, Hunt, D, Hutton, G, Hyland, M, Joseph, F, Lily, O, Moses, H, Nicholas, J, Nicholas, R, Overell, J, Pearson, O, Pomeroy, I, Smith, A, Zabeti, A, Gerry, S, Gunzler, D, Coles, A, LaRocca, N, Gray, E, Cohen, J, Evangelou, N

Universal health coverage and intersectoral action for health: key messages from Disease Control Priorities, 3rd edition by Jamison, D, Alwan, A, Mock, C, Nugent, R, Watkins, D, Adeyi, O, Anand, S, Atun, R, Bertozzi, S, Bhutta, Z, Binagwaho, A, Black, R, Blecher, M, Bloom, B, Brouwer, E, Bundy, D, Chisholm, D, Cieza, A, Cullen, M, Danforth, K, De Silva, N, Debas, H, Donkor, P, Dua, T, Fleming, K, Gallivan, M, Garcia, P, Gawande, A, Gaziano, T, Gelband, H, Glass, R, Glassman, A, Gray, G, Habte, D, Holmes, K, Horton, S, Hutton, G, Jha, P, Knaul, F, Kobusingye, O, Krakauer, E, Kruk, M, Lachmann, P, Laxminarayan, R, Levin, C, Looi, L, Madhav, N, Mahmoud, A, Mbanya, J, Measham, A, Medina-Mora, M, Medlin, C, Mills, A, Mills, J, Montoya, J, Norheim, O, Olson, Z, Omokhodion, F, Oppenheim, B, Ord, T, Patel, V, Patton, G, Peabody, J, Prabhakaran, D, Qi, J, Reynolds, T, Ruacan, S, Sankaranarayanan, R, Sepúlveda, J, Skolnik, R, Smith, K, Temmerman, M, Tollman, S, Verguet, S, Walker, D, Walker, N, Wu, Y, Zhao, K