curry-howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
watchmen.eps (4829B)
1 %!PS-Adobe-3.0 EPSF-3.0 2 %%Creator: cairo 1.15.10 (http://cairographics.org) 3 %%CreationDate: Tue Jun 22 14:22:49 2021 4 %%Pages: 1 5 %%DocumentData: Clean7Bit 6 %%LanguageLevel: 2 7 %%BoundingBox: 0 1 301 302 8 %%EndComments 9 %%BeginProlog 10 50 dict begin 11 /q { gsave } bind def 12 /Q { grestore } bind def 13 /cm { 6 array astore concat } bind def 14 /w { setlinewidth } bind def 15 /J { setlinecap } bind def 16 /j { setlinejoin } bind def 17 /M { setmiterlimit } bind def 18 /d { setdash } bind def 19 /m { moveto } bind def 20 /l { lineto } bind def 21 /c { curveto } bind def 22 /h { closepath } bind def 23 /re { exch dup neg 3 1 roll 5 3 roll moveto 0 rlineto 24 0 exch rlineto 0 rlineto closepath } bind def 25 /S { stroke } bind def 26 /f { fill } bind def 27 /f* { eofill } bind def 28 /n { newpath } bind def 29 /W { clip } bind def 30 /W* { eoclip } bind def 31 /BT { } bind def 32 /ET { } bind def 33 /BDC { mark 3 1 roll /BDC pdfmark } bind def 34 /EMC { mark /EMC pdfmark } bind def 35 /cairo_store_point { /cairo_point_y exch def /cairo_point_x exch def } def 36 /Tj { show currentpoint cairo_store_point } bind def 37 /TJ { 38 { 39 dup 40 type /stringtype eq 41 { show } { -0.001 mul 0 cairo_font_matrix dtransform rmoveto } ifelse 42 } forall 43 currentpoint cairo_store_point 44 } bind def 45 /cairo_selectfont { cairo_font_matrix aload pop pop pop 0 0 6 array astore 46 cairo_font exch selectfont cairo_point_x cairo_point_y moveto } bind def 47 /Tf { pop /cairo_font exch def /cairo_font_matrix where 48 { pop cairo_selectfont } if } bind def 49 /Td { matrix translate cairo_font_matrix matrix concatmatrix dup 50 /cairo_font_matrix exch def dup 4 get exch 5 get cairo_store_point 51 /cairo_font where { pop cairo_selectfont } if } bind def 52 /Tm { 2 copy 8 2 roll 6 array astore /cairo_font_matrix exch def 53 cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def 54 /g { setgray } bind def 55 /rg { setrgbcolor } bind def 56 /d1 { setcachedevice } bind def 57 /cairo_data_source { 58 CairoDataIndex CairoData length lt 59 { CairoData CairoDataIndex get /CairoDataIndex CairoDataIndex 1 add def } 60 { () } ifelse 61 } def 62 /cairo_flush_ascii85_file { cairo_ascii85_file status { cairo_ascii85_file flushfile } if } def 63 /cairo_image { image cairo_flush_ascii85_file } def 64 /cairo_imagemask { imagemask cairo_flush_ascii85_file } def 65 %%EndProlog 66 %%BeginSetup 67 %%EndSetup 68 %%Page: 1 1 69 %%BeginPageSetup 70 %%PageBoundingBox: 0 1 301 302 71 %%EndPageSetup 72 q 0 1 301 301 rectclip 73 1 0 0 -1 0 302 cm q 74 1 0.92549 0.00392157 rg 75 300.551 158.547 m 296.246 241.277 225.691 304.855 142.961 300.551 c 60.23 76 296.246 -3.348 225.691 0.957 142.961 c 5.262 60.23 75.816 -3.348 158.547 77 0.957 c 241.277 5.262 304.855 75.816 300.551 158.547 c f 78 0 0.0705882 0.12549 rg 79 145.516 98.023 m 135.266 114.605 123.637 125.988 119.543 123.457 c 115.445 80 120.926 120.43 105.434 130.68 88.855 c 140.93 72.277 152.559 60.891 156.652 81 63.422 c 160.75 65.957 155.762 81.449 145.516 98.023 c f 82 214.102 145.145 m 203.582 161.555 191.77 172.75 187.715 170.152 c 183.66 83 167.555 188.898 152.145 199.414 135.734 c 209.934 119.324 221.746 108.129 84 225.801 110.73 c 229.855 113.328 224.613 128.738 214.102 145.145 c f 85 191.531 226.805 m 188.09 219.547 183.535 214.5 181.359 215.535 c 179.527 86 216.402 179.973 221.309 182.215 227.168 c 145.375 245.43 99.035 211.082 87 99.035 211.082 c 99.035 211.082 71.523 192.008 67.633 153.566 c 74.629 88 153.66 80 152.285 80.152 150.184 c 80.324 147.781 73.617 145.34 65.172 144.73 89 c 56.727 144.125 49.738 145.578 49.57 147.98 c 49.414 150.117 54.711 152.281 90 61.824 153.16 c 62.344 165.602 66.773 202.504 100.199 224.129 c 100.199 91 224.129 140.695 254.648 184.547 232.328 c 187.848 238.602 191.832 242.762 92 193.824 241.812 c 196 240.785 194.973 234.062 191.531 226.805 c f 93 0.894118 0.121569 0.145098 rg 94 127.699 54.113 m 127.699 54.113 125.578 39.891 131.098 50.035 c 131.098 95 50.035 131.281 56.617 136.504 57.285 c 136.504 57.285 141.527 56.758 135.016 96 48.004 c 135.016 48.004 127.922 35.195 127.164 27.047 c 127.164 27.047 97 125.707 15.992 117.945 16.672 c 117.945 16.672 109.859 18.285 110.418 31.059 98 c 110.418 31.059 111.48 36.672 103.711 47.926 c 103.711 47.926 99.176 54.332 99 105.316 56.141 c 105.316 56.141 109.422 57.98 110 49.473 c 110 49.473 109.508 100 45.922 111.789 41.16 c 111.789 41.16 114.59 36.832 113.543 46.539 c 113.543 101 46.539 113.73 50.75 110.715 53.98 c 110.715 53.98 106.02 63.5 107.961 75.664 102 c 107.961 75.664 108.773 80.316 112.5 80.645 c 112.5 80.645 117.285 80.074 103 115.332 64.254 c 115.332 64.254 114.047 52.527 117.125 50.656 c 117.125 104 50.656 119.277 48.328 120.566 57.477 c 126.965 86.719 l 132.039 105.578 105 135.641 148.582 135.641 148.582 c 135.309 163.27 143.617 161.539 143.617 106 161.539 c 150.199 159.719 146.707 147.859 146.707 147.859 c 146.707 147.859 107 142.988 136.207 140.34 128.934 c 140.34 128.934 127.922 68.621 127.699 108 54.113 c f 109 Q Q 110 showpage 111 %%Trailer 112 end 113 %%EOF