%PDF-1.6
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseNone
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author (Thorsten Altenkirch, Nils Anders Danielsson and Nicolai Kraus)
/CreationDate (D:20170222171804+01'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20191205094706Z)
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.17 \(TeX Live 2016\) kpathsea version 6.2.2)
/Producer (pdfTeX-1.40.17)
/Subject ()
/Title (Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type)
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 3968
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Thorsten Altenkirch, Nils Anders Danielsson and Nicolai Kraus
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
2017-02-22T17:18:04+01:00
LaTeX with hyperref package
2019-12-05T09:47:06Z
2019-12-05T09:47:06Z
pdfTeX-1.40.17
False
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) kpathsea version 6.2.2
uuid:ee5ae9fb-dd5f-4b2e-b69d-ccbf764cfab4
uuid:c74774a6-311a-4456-8692-0f202faacb93
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 15
/First 10 0 R
/Last 10 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 18
/Kids [11 0 R 12 0 R 13 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [14 0 R 15 0 R 16 0 R]
/Limits [(Doc-Start) (theorem.1.4.15)]
>>
endobj
9 0 obj
<<
/Annots [17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R]
/Contents [23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 11 0 R
/Resources <<
/Font <<
/C0_0 31 0 R
/T1_0 32 0 R
/T1_1 33 0 R
/T1_10 34 0 R
/T1_11 35 0 R
/T1_12 36 0 R
/T1_13 37 0 R
/T1_14 38 0 R
/T1_2 39 0 R
/T1_3 40 0 R
/T1_4 41 0 R
/T1_5 42 0 R
/T1_6 43 0 R
/T1_7 44 0 R
/T1_8 45 0 R
/T1_9 46 0 R
>>
/ProcSet [/PDF /Text]
>>
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 47 0 R
/Count 14
/First 48 0 R
/Last 49 0 R
/Parent 5 0 R
/Title
>>
endobj
11 0 obj
<<
/Count 7
/Kids [50 0 R 9 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
12 0 obj
<<
/Count 6
/Kids [56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 5
/Kids [62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Kids [67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
/Limits [(Doc-Start) (page.1)]
>>
endobj
15 0 obj
<<
/Kids [73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R]
/Limits [(page.10) (section.1.1)]
>>
endobj
16 0 obj
<<
/Kids [79 0 R 80 0 R 81 0 R]
/Limits [(section.1.2) (theorem.1.4.15)]
>>
endobj
17 0 obj
<<
/A <<
/D (cite.capretta:2005)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [210.621 519.243 248.467 529.166]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A <<
/D (cite.Chapman2015)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [388.127 486.366 453.241 496.277]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/D (cite.capretta:2005)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [148.712 239.843 189.467 250.634]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (cite.capretta:2005)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [248.554 229.825 255.527 238.209]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (cite.capretta:2005)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [399.219 227.334 439.973 239.29]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://dx.doi.org/10.1007/978-3-662-54458-7_31)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [258.295 101.955 478.766 112.165]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/Length 577
/Filter /FlateDecode
>>
stream
HTM0
G'T@BX
j&
I+;I)cgޛ7yS*RTc`)$ǡ/DZ`{plb!e߅H ~uUܕ3
GSu!ZwԸ<3Yz\pܵICҍ!9N4D(`I#KMPqV}lUM2 k7IM9s ]?D`"RJ9BpPoUqJ$5\' ̋gQKx'Ba+6 ocTxVuc]h8MAUb]E&+դf>Qw,>2vKS&k"°1j!9
Ʃ '
Nq
rPڦ##ނM6U`pqwbඋi暴#r執/vgv/]#]ѣ@5xdjp0W1LԵiax$ ҥ//C=n<%%<&t` %(X
endstream
endobj
24 0 obj
<<
/Length 557
/Filter /FlateDecode
>>
stream
HlTM0Whw|wCgϹ5=M2d'I~{9I+V8ᔞMvqPx6)EgXM crv3zhRfTd3x]ʯEP?ONİuFSh.ar$$ʪI%"@q $y)F'"X18t:`(e
W9H3Y\cVKJv.?}X'NBg
N\fװJO3N/q5NRPnZu2}4e 0 y5R
endstream
endobj
25 0 obj
<<
/Length 650
/Filter /FlateDecode
>>
stream
HlTKo WUܪj{ު$X/8}gn7o@~MR_iZϒȳX3fHˎ,qddi
X0vyvѴ JWI`