%PDF-1.3
%
1 0 obj
<<
/Lang ()
/Metadata 2 0 R
/Names 3 0 R
/OpenAction [4 0 R /FitH 800]
/Outlines 5 0 R
/PageLabels 6 0 R
/PageMode /UseOutlines
/Pages 7 0 R
/Type /Catalog
>>
endobj
8 0 obj
<<
/Author ()
/CreationDate (D:20211016102551-04'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20220413180207+00'00')
/Producer (Acrobat Distiller 10.0.0 \(Windows\))
/Subject ()
/Title ()
>>
endobj
2 0 obj
<<
/Length 1828
/Subtype /XML
/Type /Metadata
>>
stream
2021-10-16T10:25:51-04:00
LaTeX with hyperref package
2022-04-13T18:02:07+00:00
Acrobat Distiller 10.0.0 (Windows)
application/pdf
https://doi.org/10.1017/S0956796820000076 Published online by Cambridge University Press
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796820000076
uuid:6cc607ef-3b8b-4386-ab69-d7f3aebde5d3
uuid:287077a0-32c1-4754-b015-b90116c68d7d
endstream
endobj
3 0 obj
<<
/Dests 9 0 R
>>
endobj
4 0 obj
<<
/Annots [10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R
20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R]
/Contents [26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R
36 0 R 37 0 R]
/CropBox [0 0 493.151 700.075]
/MediaBox [0 0 493.151 700.075]
/Parent 38 0 R
/Resources 39 0 R
/Rotate 0
/Type /Page
>>
endobj
5 0 obj
<<
/Count 43
/First 40 0 R
/Last 40 0 R
>>
endobj
6 0 obj
<<
/Nums [0 41 0 R]
>>
endobj
7 0 obj
<<
/Count 55
/Kids [38 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R]
/Type /Pages
>>
endobj
9 0 obj
<<
/Kids [47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R]
>>
endobj
10 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1017/S0956796820000076)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [70.077 651.135 162.348 658.302]
/Subtype /Link
/Type /Annot
>>
endobj
11 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0002-4091-657X)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [290.145 557.976 301.146 568.968]
/Subtype /Link
/Type /Annot
>>
endobj
12 0 obj
<<
/A <<
/S /URI
/URI (mailto:guillaume.allais@ens-lyon.org)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [188.805 533.289 313.467 541.923]
/Subtype /Link
/Type /Annot
>>
endobj
13 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0002-4414-5047)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [276.771 515.136 287.772 526.128]
/Subtype /Link
/Type /Annot
>>
endobj
14 0 obj
<<
/A <<
/S /URI
/URI (mailto:robert.atkey@strath.ac.uk)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [197.274 490.449 305.016 499.083]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0001-9036-8252)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [281.568 472.296 292.578 483.288]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/A <<
/S /URI
/URI (mailto:james.chapman@iohk.io)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [205.734 447.609 296.556 456.243]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0003-1487-0886)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [281.019 429.456 292.02 440.448]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A <<
/S /URI
/URI (mailto:conor.mcbride@strath.ac.uk)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [195.15 406.542 307.122 413.403]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0001-6745-2560)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [280.47 386.616 291.462 397.608]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/S /URI
/URI (mailto:J.McKinna@hw.ac.uk)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [212.088 363.702 290.22 370.563]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/S /URI
/URI (https://github.com/gallais/generic-syntax)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [58.449 172.371 207.123 182.319]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.hudak1996building)
/H /I
/Rect [211.467 90.579 232.371 102.534]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.dybjer1994inductive)
/H /I
/Rect [390.351 64.677 411.255 76.632]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [433.8359 8.0 483.151 26.967348]
/Border [0 0 0]
/A 53 0 R
>>
endobj
25 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [7.7999997 14.264648 133.62 22.189453]
/Border [0 0 0]
/A 54 0 R
>>
endobj
26 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
27 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
28 0 obj
<<
/Filter /FlateDecode
/Length 757
>>
stream
HtTn0zWH;gAH`˲Snp}#9|fQ@.j2TzIh')BƃֆZAT \o]?w$D G}Iʣ-S"Yd*p>d\(Rhvg1`i3D[Aǐ2B \#:o+ٔWJ$cg8
q9/8{m˔f"Aņflb!Mm~Xn` IS]Y"Aۍ7nfk2(u.So=èyEX*uӗ+>[
r6m/SA/.5**MAJeT*(R|kAUXyEM</%ʆ`!L?ȁǞN>Q$&=-y6|%aR$KT%PΟ$c(W:r,%xMp6&C-4B)0[J|wd>bdiȸpXbK< "vN+#QI
cpscp O DQĸWXTG ї:Y
endstream
endobj
29 0 obj
<<
/Filter /FlateDecode
/Length 705
>>
stream
HTMO1q#uS!J*=4@|ZvH=37!2SL1eh(# Ǥ.WS7wްZcf,zlKtF*p1lی)%g-Y-@/G$&5+^uSuy0P8r̬@8 B+ZcȂYX},t=tմ;X]5+L![] }y{7λfk[M
~ 2ˋi]j)>R
uˡS`Ӌ֛ .'4Ffϻ?j"kHi Ű_WO_=O"nݦͮl~|]Vc\>,6al$W~TDRM+S&H'<l$S8ldx9-ϷsټQgӃ
^#%QpduT7]\`ȡ0hF9'aQV4[>Ɉ4ϑ˹.5znRH2
]9S\0hbi槎Io6\t(˶Ad(7S8Vu^r"a^MՁIy,HQ.,Kkc7$OE: 8T $+?
endstream
endobj
30 0 obj
<<
/Filter /FlateDecode
/Length 699
>>
stream
HTn1}߯Fj<Ѧ<%ФI
s|IZhx|f<&IN)lE! ,jb'1a&maՙrWX(8YɈ-,d48t] 1+Iԉ3Mwٝ^LiwM(Jk]raEVp5ӡ_?78ӯnl"_m׳ݰx1?Vb]SMܟq5pϟ/?MϡL2&q#~'hE>HV~>^o*Udհ)z-fۇMf==TwM]N zhF(yQ
r7:edrRMJ5GWDG.>NVrUQ'}8NQ'%_[&فxXCֱ!}4,
˰(!O)S-$9<,YDU\TJ^uٝ+2$+9:\Hd^$#\0Σ A"滎$o2@I+ |2D K&(h}%?:)@VPf*BqˡWR|R6x}p|xY6/55k| JX~,Dhsf,13li+6De5, ˻+;
endstream
endobj
31 0 obj
<<
/Filter /FlateDecode
/Length 709
>>
stream
HTMS1q3Ce^N>:PJ2.@IM`zd~'2`Ŭ+M5c4ߚ,Ol,nrgXRxA4u7;ɷjK=9+#|D^m>߮u_Q!~.>CT\
H5U;Zܿ@"`iL"(mWCeH>@6 'ĸ/AS`sPR|\$\"Y~/2KK['7L:a5)BEߨs| X0tb y2*|xl`9vjlĨ92P%Jbʐ"x\RDaKͬ_hHWDYղ蚺Wt4\fO`9$_^@_H^ɐwYܕ^ɷ` #0
endstream
endobj
32 0 obj
<<
/Filter /FlateDecode
/Length 750
>>
stream
HdTn1+tFzjK2A='qe|)l^FR~`vDȾwq[Lؼ?ݜk.G_u4A!.E"Xset?K33 x̤Y
xeavX)xzr^os50Gٮ3Q!ALFJ
9U9d5uZ/g%(f|,wcҫvjޤNCgb4XKri?5Bmކ99 g9du}APj,$ރIt9p)-
dJٽM^n#+#+7*j=V6j`ӛ*'8Q͐RchDH
Ll129`l}lW!㹻՟vAI6S8g8,$k
"YXo=D>k(VȊC࿓ΈJG[nȽs!{DJT-Re(dߵeyM(_h\
aːeAJ|+?0A8]! F̡|G
]\՛)gX! ĭ̙e <|k?Nw2|s7w'epfr?_}{<>5؝HG2a:
FG 5-
endstream
endobj
33 0 obj
<<
/Filter /FlateDecode
/Length 738
>>
stream
HlTMs Q#TD$[=3C9`m !9kwz̲}E&!sr|I29ELziܖzgW! IpB2w^ƈ"$bhԤ,9yzໃGDX9Gp3'eMD`ʲ>pJvJ~&bd2Z -KH}\qr⿄9N$Ȃa+T]
(^v-JXtucWX?8FW;a؆njg,Ǝښ9Ȧ9>\AV
Hr{k,}h`1%/n#*'J9Aʽ"f߈=f{3b!O)\\~fm7*\\HE)W+ID牾eAe`u9RȣXC:Za7H8y> exGLьu7t5Q*,¡у镹 0`zdB&C}Cx}|߇kn^Yੁ`^i]2ϪtSng=vFI1yvew
!;{Щn3"4\(TyV;qvIp(AZ;칷2|n5.[],#7Jx9D㢀5*?
ĝ~R# ћv
endstream
endobj
34 0 obj
<<
/Filter /FlateDecode
/Length 720
>>
stream
HdT0[R-F H)-hi,HGJsXdo<-bʾ^ ɪʳN?Y7(e;NS<AT =elX?p/aΒ9QpCʾmtAe^6ll*npX,Vie81TXdTv褟LFm\
R+&Ú
GF
\C=h/2!q#6s~PbxX6-)m-+i.bA^vWBrW BJGӀG1L8m)tCjI\Vp].jc-^ٴCtcD,傸au=@|>f+nk^5*z0D3kș'%w/'wB,6[fE{pr15\20J_v.R iOU+ia+giAU5*g/R4 Y<"a@jlœ";w;;5_S8{
o4g#+^-rUC{HR}1O;Ƙrd쒽ո1\?tbA3uH~*Z vK^vҌ&߯,7csx,p