{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T04:25:19Z","timestamp":1691555119100},"reference-count":0,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.380.23","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T11:58:01Z","timestamp":1690545481000},"page":"400-416","source":"Crossref","is-referenced-by-count":0,"title":["Universal Properties of Lens Proxy Pullbacks"],"prefix":"10.4204","volume":"380","author":[{"given":"Matthew","family":"Di Meglio","sequence":"first","affiliation":[{"name":"University of Edinburgh"}]}],"member":"2720","published-online":{"date-parts":[[2023,8,7]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T18:36:54Z","timestamp":1691519814000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2307.16553v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4204\/eptcs.380.23","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,7]]}}}