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
Roundhouses and railways: developer-funded archaeology in EnglandChadwick, Adrian M. · Antiquity · 2016
ROUTINE MAGIC, MUNDANE RITUAL: TOWARDS A UNIFIED NOTION OF DEPOSITIONAL PRACTICEADRIAN M. CHADWICK · 2012
The Lives of Prehistoric Monuments in Iron Age, Roman, and Medieval EuropeChadwick, Adrian M. · Archaeological Journal · 2016
Archaeology in Hertfordshire: Recent Research. A Festschrift for Tony Rook, edited by Kris LockyearChadwick, Adrian M. · Archaeological Journal · 2017
‘The Stubborn Light of Things’. Landscape, Relational Agency, and Linear Earthworks in Later Prehistoric BritainChadwick, Adrian M. · European Journal of Archaeology · 2016
The Importance of Magnetic Resonance Imaging in a Symptomatic “Bipartite” Os Peroneum: A Case ReportCarolyn Chadwick; Adrian M. Highland; David E. Hughes; Mark B. Davies · 2011
Riversides: Neolithic barrows, a Beaker grave, Iron Age and Anglo-Saxon burials and settlement at Trumpington, CambridgeChadwick, Adrian M. · Archaeological Journal · 2019
The Stone of Life: Querns, Mills and Flour Production in Europe Up to c. AD 500, by David PeacockChadwick, Adrian M. · Archaeological Journal · 2015
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