%PDF-1.7
%
1 0 obj
<>/Metadata 2 0 R/Names 5 0 R/Outlines 6 0 R/Pages 3 0 R/StructTreeRoot 7 0 R/Type/Catalog/ViewerPreferences<>>>
endobj
2 0 obj
<>stream
application/pdf
Sergio Antoy, Michael Hanus, and Steven Libby
Proving Non-Deterministic Computations in Agda
Prince 14.2 (www.princexml.com)
AppendPDF Pro 6.3 Linux 64 bit Aug 30 2019 Library 15.0.4
Appligent AppendPDF Pro 6.3
2023-05-15T15:31:44-07:00
2023-05-15T15:31:44-07:00
2023-05-15T15:31:44-07:00
1
uuid:2d9a40d2-b6ff-11b2-0a00-505c51010000
uuid:2d9a40d3-b6ff-11b2-0a00-704d8b86fc7f
endstream
endobj
5 0 obj
<>
endobj
6 0 obj
<>
endobj
3 0 obj
<>
endobj
7 0 obj
<>
endobj
27 0 obj
<>
endobj
28 0 obj
<>1]/P 15 0 R/Pg 44 0 R/S/Link>>
endobj
16 0 obj
<><>2 3]/P 7 0 R/Pg 44 0 R/S/Link>>
endobj
17 0 obj
<>4]/P 7 0 R/Pg 44 0 R/S/Link>>
endobj
37 0 obj
<>16]/P 21 0 R/Pg 44 0 R/S/Link>>
endobj
39 0 obj
<>20]/P 22 0 R/Pg 44 0 R/S/Link>>
endobj
40 0 obj
<>22]/P 22 0 R/Pg 44 0 R/S/Link>>
endobj
41 0 obj
<>23]/P 23 0 R/Pg 44 0 R/S/Link>>
endobj
42 0 obj
<>30]/P 26 0 R/Pg 44 0 R/S/Link>>
endobj
26 0 obj
<>
endobj
44 0 obj
<>/MediaBox[0 0 612 792]/Parent 11 0 R/Resources<>/Font<>/ProcSet[/PDF/Text/ImageC]/XObject<>>>/StructParents 0/Tabs/S/Type/Page>>
endobj
55 0 obj
[43 0 R 46 0 R 47 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R]
endobj
56 0 obj
<>stream
xXێF}W:;$
5"Zt߂>iѦ
}g$Y3MȖ53$!yyð<|pŧw?