Classical lambda calculus in modern dress von HYLAND, J.M.E.

Volltext

Elements of a theory of algebraic theories von Hyland, J.M.E.

Volltext

On Full Abstraction for PCF: I, II, and III von Hyland, J.M.E., Ong, C.-H.L.

Volltext

A small complete category von Hyland, J.M.E.

Volltext

The Discrete Objects in the Effective Topos von Hyland, J. M. E., Robinson, E. P., Rosolini, G.

Volltext

Variations on realizability: realizing the propositional axiom of choice von HYLAND, J. M. E.

Volltext

Tripos theory von Hyland, J. M. E., Johnstone, P. T., Pitts, A. M.

Volltext

The S-replete construction von Hyland, J. M. E., Moggi, E.

Volltext

Moduli and periods of simply connected Enriques surfaces von Ekedahl, T, Hyland, J. M. E, Shepherd-Barron, N. I

Volltext bestellen

Function spaces in the category of locales von Hyland, J. M. E.

Volltext

First steps in synthetic domain theory von Hyland, J. M. E.

Volltext

Moduli and periods of simply connected Enriques surfaces von Ekedahl, T, Hyland, J M E, Shepherd-Barron, N I

Volltext

Algebraic types in PER models von Hyland, J. M. E., Robinson, E. P., Rosolini, G.

Volltext

Filter spaces and continuous functionals von Hyland, J.M.E.

Volltext

Early Remdesivir to Prevent Progression to Severe Covid-19 in Outpatients von Gottlieb, Robert L, Vaca, Carlos E, Paredes, Roger, Mera, Jorge, Webb, Brandon J, Perez, Gilberto, Oguchi, Godson, Ryan, Pablo, Nielsen, Bibi U, Brown, Michael, Hidalgo, Ausberto, Sachdeva, Yessica, Mittal, Shilpi, Osiyemi, Olayemi, Skarbinski, Jacek, Juneja, Kavita, Hyland, Robert H, Osinusi, Anu, Chen, Shuguang, Camus, Gregory, Abdelghany, Mazin, Davies, Santosh, Behenna-Renton, Nicole, Duff, Frank, Marty, Francisco M, Katz, Morgan J, Ginde, Adit A, Brown, Samuel M, Schiffer, Joshua T, Hill, Joshua A

Volltext

Disturbance of the gut microbiota in early-life selectively affects visceral pain in adulthood without impacting cognitive or anxiety-related behaviors in male rats von O’Mahony, S.M, Felice, V.D, Nally, K, Savignac, H.M, Claesson, M.J, Scully, P, Woznicki, J, Hyland, N.P, Shanahan, F, Quigley, E.M, Marchesi, J.R, O’Toole, P.W, Dinan, T.G, Cryan, J.F

Volltext

International guidelines for the diagnosis and management of hereditary haemorrhagic telangiectasia von Faughnan, M E, Palda, V A, Garcia-Tsao, G, Geisthoff, U W, McDonald, J, Proctor, D D, Spears, J, Brown, D H, Buscarini, E, Chesnutt, M S, Cottin, V, Ganguly, A, Gossage, J R, Guttmacher, A E, Hyland, R H, Kennedy, S J, Korzenik, J, Mager, J J, Ozanne, A P, Piccirillo, J F, Picus, D, Plauchu, H, Porteous, M E M, Pyeritz, R E, Ross, D A, Sabba, C, Swanson, K, Terry, P, Wallace, M C, Westermann, C J J, White, R I, Young, L H, Zarrabeitia, R

Volltext

Modified realizability toposes and strong normalization proofs: Extended abstract von Hyland, J. M. E., Ong, C. -H. L.

Volltext

DEFINABILITY AND COMPUTABILITY (Siberian School of Algebra and Logic) von Hyland, J. M. E.

Volltext

The Berkeley Sample of Type II Supernovae: BVRI Light Curves and Spectroscopy of 55 SNe II von Jaeger, T de, Zheng, W, Stahl, B E, Filippenko, A V, Brink, T G, Bigley, A, Blanchard, K, Blanchard, P K, Bradley, J, Cargill, S K, Casper, C, Cenko, S B, Channa, S, Choi, B Y, Clubb, K I, Cobb, B E, Cohen, D, Kouchkovsky, M de, Ellison, M, Falcon, E, Fox, O D, Fuller, K, Ganeshalingam, M, Gould, C, Graham, M L, Halevi, G, Hayakawa, K T, Hestenes, J, Hyland, M P, Jeffers, B, Joubert, N, Kandrashoff, M T, Kelly, P L, Kim, H, Kim, M, Kumar, S, Leonard, E J, Li, G Z, Lowe, T B, Lu, P, Mason, M, McAllister, K J, Mauerhan, J C, Modjaz, M, Molloy, J, Perley, D A, Pina, K, Poznanski, D, Ross, T W, Shivvers, I, Silverman, J M, Soler, C, Stegman, S, Taylor, S, Tang, K, Wilkins, A, Wang, Xiaofeng, Wang, Xianggao, Yuk, H, Yunus, S, Zhang, K D

Volltext