<div class='cut-page'><button class='gotoPage'>Page 1</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/1.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 1: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/1.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 2</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/2.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 2: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/2.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 3</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/3.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 3: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/3.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 4</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/4.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 4: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/4.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 5</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/5.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 5: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/5.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 6</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/6.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 6: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/6.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 7</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/7.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 7: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/7.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 8</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/8.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 8: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/8.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 9</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/9.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 9: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/9.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 10</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/10.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 10: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/10.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 11</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/11.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 11: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/11.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 12</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/12.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 12: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/12.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 13</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/13.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 13: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/13.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 14</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/14.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 14: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/14.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 15</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/15.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 15: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/15.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 16</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/16.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 16: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/16.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 17</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/17.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 17: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/17.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 18</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/18.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 18: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/18.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 19</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/19.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 19: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/19.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 20</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/20.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 20: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/20.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 21</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/21.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 21: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/21.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 22</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/22.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 22: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/22.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 23</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/23.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 23: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/23.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 24</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/24.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 24: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/24.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 25</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/25.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 25: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/25.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 26</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/26.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 26: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/26.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 27</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/27.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 27: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/27.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 28</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/28.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 28: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/28.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 29</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/29.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 29: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/29.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 30</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/30.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 30: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/30.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 31</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/31.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 31: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/31.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 32</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/32.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 32: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/32.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 33</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/33.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 33: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/33.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 34</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/34.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 34: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/34.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 35</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/35.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 35: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/35.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 36</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/36.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 36: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/36.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 37</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/37.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 37: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/37.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 38</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/38.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 38: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/38.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 39</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/39.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 39: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/39.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 40</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/40.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 40: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/40.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 41</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/41.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 41: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/41.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 42</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/42.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 42: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/42.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 43</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/43.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 43: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/43.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 44</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/44.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 44: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/44.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 45</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/45.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 45: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/45.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 46</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/46.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 46: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/46.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 47</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/47.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 47: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/47.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 48</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/48.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 48: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/48.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 49</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/49.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 49: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/49.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 50</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/50.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 50: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/50.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 51</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/51.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 51: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/51.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 52</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/52.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 52: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/52.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 53</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/53.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 53: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/53.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 54</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/54.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 54: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/54.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 55</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/55.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 55: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/55.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 56</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/56.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 56: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/56.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 57</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/57.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 57: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/57.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 58</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/58.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 58: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/58.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 59</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/59.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 59: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/59.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 60</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/60.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 60: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/60.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 61</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/61.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 61: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/61.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 62</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/62.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 62: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/62.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 63</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/63.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 63: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/63.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 64</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/64.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 64: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/64.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 65</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/65.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 65: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/65.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 66</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/66.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 66: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/66.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 67</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/67.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 67: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/67.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 68</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/68.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 68: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/68.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 69</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/69.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 69: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/69.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 70</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/70.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 70: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/70.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 71</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/71.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 71: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/71.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 72</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/72.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 72: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/72.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 73</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/73.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 73: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/73.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 74</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/74.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 74: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/74.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 75</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/75.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 75: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/75.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 76</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/76.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 76: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/76.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 77</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/77.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 77: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/77.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 78</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/78.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 78: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/78.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 79</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/79.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 79: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/79.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 80</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/80.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 80: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/80.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 81</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/81.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 81: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/81.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 82</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/82.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 82: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/82.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 83</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/83.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 83: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/83.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 84</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/84.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 84: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/84.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 85</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/85.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 85: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/85.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 86</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/86.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 86: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/86.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 87</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/87.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 87: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/87.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 88</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/88.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 88: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/88.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 89</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/89.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 89: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/89.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 90</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/90.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 90: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/90.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 91</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/91.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 91: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/91.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 92</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/92.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 92: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/92.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 93</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/93.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 93: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/93.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 94</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/94.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 94: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/94.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 95</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/95.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 95: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/95.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 96</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/96.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 96: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/96.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 97</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/97.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 97: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/97.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 98</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/98.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 98: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/98.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 99</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/99.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 99: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/99.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 100</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/100.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 100: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/100.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 101</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/101.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 101: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/101.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 102</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/102.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 102: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/102.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 103</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/103.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 103: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/103.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 104</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/104.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 104: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/104.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 105</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/105.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 105: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/105.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 106</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/106.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 106: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/106.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 107</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/107.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 107: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/107.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 108</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/108.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 108: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/108.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 109</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/109.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 109: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/109.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 110</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/110.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 110: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/110.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 111</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/111.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 111: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/111.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 112</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/112.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 112: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/112.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 113</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/113.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 113: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/113.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 114</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/114.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 114: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/114.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 115</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/115.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 115: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/115.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 116</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/116.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 116: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/116.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 117</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/117.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 117: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/117.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 118</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/118.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 118: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/118.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 119</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/119.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 119: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/119.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 120</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/120.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 120: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/120.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 121</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/121.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 121: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/121.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 122</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/122.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 122: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/122.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 123</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/123.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 123: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/123.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 124</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/124.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 124: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/124.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 125</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/125.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 125: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/125.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 126</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/126.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 126: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/126.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 127</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/127.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 127: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/127.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 128</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/128.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 128: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/128.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 129</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/129.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 129: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/129.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 130</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/130.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 130: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/130.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 131</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/131.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 131: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/131.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 132</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/132.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 132: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/132.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 133</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/133.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 133: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/133.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 134</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/134.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 134: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/134.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 135</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/135.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 135: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/135.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 136</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/136.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 136: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/136.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 137</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/137.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 137: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/137.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 138</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/138.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 138: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/138.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 139</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/139.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 139: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/139.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 140</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/140.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 140: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/140.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 141</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/141.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 141: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/141.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 142</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/142.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 142: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/142.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 143</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/143.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 143: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/143.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 144</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/144.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 144: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/144.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 145</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/145.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 145: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/145.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 146</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/146.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 146: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/146.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 147</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/147.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 147: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/147.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 148</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/148.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 148: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/148.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 149</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/149.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 149: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/149.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 150</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/150.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 150: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/150.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 151</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/151.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 151: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/151.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 152</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/152.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 152: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/152.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 153</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/153.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 153: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/153.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 154</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/154.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 154: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/154.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 155</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/155.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 155: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/155.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 156</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/156.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 156: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/156.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 157</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/157.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 157: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/157.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 158</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/158.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 158: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/158.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 159</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/159.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 159: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/159.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 160</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/160.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 160: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/160.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 161</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/161.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 161: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/161.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 162</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/162.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 162: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/162.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 163</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/163.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 163: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/163.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 164</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/164.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 164: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/164.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 165</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/165.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 165: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/165.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 166</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/166.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 166: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/166.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 167</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/167.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 167: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/167.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 168</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/168.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 168: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/168.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 169</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/169.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 169: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/169.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div><div class='cut-page'><button class='gotoPage'>Page 170</button> <div class='cut-image'> <a href='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/page/170.jpg' target='_blank'> <amp-img class='cut-thumb gotoPage' alt='Page 170: Higher-Order Subtyping with Intersection Types' src='https://reader037.cupdf.com/reader037/viewer/2023020414/631542e0c32ab5e46f0d3a9b/html5/thumbnails/170.jpg' width="142" height="106" layout="responsive"> </amp-img></a> </div></div>