Realisability semantics of parametric polymorphism, general references and recursive types
- 期刊名称Mathematical Structures in Computer Science
- 作者BIRKEDAL, LARS; STØVRING, KRISTIAN; THAMSBORG, JACOB
- 卷第20卷
- 期第4期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小353.57KB
- 发表时间2010-8
- DOI10.1017/s0960129510000162
- 页码655-703
Use of Lead Aprons / Authors’ Response / Cariogenicity of Honey / Authors’ Response / Occlusion of Posterior Teeth in Dentures / Authors’ Response / Dosage of Lidocaine / Authors’ Response / Response of Periodontium to Pulp Tester / Authors’ Response / Warming of Amalgam / Authors’ ResponseHarner, Lynn; Stanford, John W.; B’rells, Gerald K.; Nizel, Abraham E.; Beaudry, H.A.; Boucher, Carl O.; Aylsworth, D.W.; Millard, H. Dean; Apfel, Frank R.; Gerstein, Harold; Vaz Dias, Jorge; Phillips, R.W. · The Journal of the American Dental Association · 1973
Response to Holder's Comments on the Analytic Hierarchy Process: Response to the Response to the ResponseThomas L. Saaty · The Journal of the Operational Research Society · 1991
Automatic sequential response priming and intentional response preparation in choice reaction tasks: Evidence from response repetition and response cuingJos J. Adam; Iring Koch · 2009
Response preparation, response selection difficulty, and response-outcome learningHuffman, Greg; Gozli, Davood G.; Hommel, Bernhard; Pratt, Jay · Psychological Research · 2018
ER stress response, peroxisome proliferation, mitochondrial unfolded protein response and Golgi stress responseHiderou Yoshida · 2009
A response selection model for intrusion response systems: Response Strategy Model (RSM)Anuar, Nor Badrul; Papadaki, Maria; Furnell, Steven; Clarke, Nathan · Security and Communication Networks · 2014
Response moderation models for conditional dependence between response time and response accuracyBolsinova, Maria; Tijmstra, Jesper; Molenaar, Dylan · British Journal of Mathematical and Statistical Psychology · 2016
Response probability and similarity of retrieved response tendencies as determinants of response suppression difficultyEric Buckolz; Bruce Deacon; Craig Hall · 1984
The La Marche Antler RevisitedMarshack, Alexander; d'Errico, Francesco · Cambridge Archaeological Journal · 1996
Reconstructing the SphinxLehner, Mark · Cambridge Archaeological Journal · 1992
The Memphis Pottery ProjectBourriau, Janine · Cambridge Archaeological Journal · 1991
Ethnic Identity in Greek AntiquityHall, Jonathan M. · Cambridge Archaeological Journal · 1998
How Religious were the Ancient Egyptians?Kemp, Barry J. · Cambridge Archaeological Journal · 1995
A Paradigm Shift in Classical Archaeology?Snodgrass, Anthony · Cambridge Archaeological Journal · 2002
Star Performances and Cosmic ClutterPauketat, Timothy R.; Emerson, Thomas E. · Cambridge Archaeological Journal · 2008
Chorography, Phenomenology and the Antiquarian TraditionGillings, Mark · Cambridge Archaeological Journal · 2011