%PDF-1.4 %öäüß 1 0 obj > endobj 7 0 obj /Title /Subject /Author /Producer /CreationDate (D:20250503123620+03'00') /ModDate (D:20220619163249+02'00') /Trapped /False /PTEX.Fullbanner (This is pdfTeX, Version 3.141592653-2.6-1.40.22 \(TeX Live 2022/dev/Debian\) kpathsea version 6.3.4/dev) >> endobj 2 0 obj > endobj 3 0 obj > endobj 4 0 obj > endobj 5 0 obj > endobj 6 0 obj > stream

  • Adobe PDF Schema pdf http://ns.adobe.com/pdf/1.3/
  • Trapped Text internal Indication if the document has been modified to include trapping information
  • XMP Media Management Schema xmpMM http://ns.adobe.com/xap/1.0/mm/
  • DocumentID URI internal UUID based identifier for all versions and renditions of a document
  • InstanceID URI internal UUID based identifier for specific incarnation of a document
  • VersionID Text internal Document version identifier
  • RenditionClass RenditionClass internal The manner in which a document is rendered
  • PRISM Basic Metadata prism http://prismstandard.org/namespaces/basic/3.0/
  • complianceProfile Text internal PRISM specification compliance profile to which this document adheres
  • publicationName Text external Publication name
  • aggregationType Text external Publication type
  • bookEdition Text external Edition of the book in which the document was published
  • volume Text external Publication volume number
  • number Text external Publication issue number within a volume
  • pageRange Text external Page range for the document within the print version of its publication
  • issn Text external ISSN for the printed publication in which the document was published
  • eIssn Text external ISSN for the electronic publication in which the document was published
  • isbn Text external ISBN for the publication in which the document was published
  • doi Text external Digital Object Identifier for the document
  • url URL external URL at which the document can be found
  • byteCount Integer internal Approximate file size in octets
  • pageCount Integer internal Number of pages in the print version of the document
  • subtitle Text external Document's subtitle
    • pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) kpathsea version 6.3.4/dev 1.5 application/pdf <alt> <li xml:lang="en">A direct computational interpretation of second-order arithmetic via update recursion</li> </alt>
  • Association for Computing Machinery
    •
  • 2022-06-19T16:32:49+02:00
    •
  • Text
    •
  • Valentin Blot
    •      paper.tex
  • en
    •      info:doi/10.1145/3531130.3532458 2022-06-19T16:32:49+02:00 2022-06-19T16:32:49+02:00 2022-06-19T16:32:49+02:00 LaTeX with acmart 2021/12/05 v1.81 Typesetting articles for the Association for Computing Machinery and hyperref 2021-06-07 v7.00m Hypertext links for LaTeX uuid:a3ef75fd-7546-47ae-8c46-7aefd188d754 uuid:d7a3395f-dc95-49b6-bfdc-e41dcea39b1d 1 default three 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (LICS '22), August 2â•fi5, 2022, Haifa, Israel book 1 1 978-1-4503-9351-5 10.1145/3531130.3532458 11 11 endstream endobj 8 0 obj > endobj 9 0 obj > endobj 10 0 obj > endobj 11 0 obj > endobj 12 0 obj > endobj 13 0 obj > endobj 14 0 obj > endobj 15 0 obj > endobj 16 0 obj > endobj 17 0 obj > endobj 18 0 obj > endobj 19 0 obj > /ProcSet [/PDF /Text /ImageC /ImageB /ImageI] >> endobj 20 0 obj > stream xڝXÉŽ#7½ç+ꬑ¨0|² ¹ Ò· —ç’FЧü~H‘”Tvõ´;0 .•6òñq‘–·Å-nÉ°äTM©Ëå?üŒÏ_ÿß¿,_~r‹Æ‡ËË _“É®.‡h“‰ey¹þ~´Öÿi­[­ ùtð9â—ଅ>—µ4[î‚=km®Ö¦3>Øp¾÷ü¤@íÓ/¿.?¾|C’¦DŠ‰Ö«$¸KªüD\)É€ÿ‰Ÿ€ípÅwËï$Q,[é¨Ýæ­