{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:38:05Z","timestamp":1729658285951,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,23]],"date-time":"2020-09-23T00:00:00Z","timestamp":1600819200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,23]],"date-time":"2020-09-23T00:00:00Z","timestamp":1600819200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,23]],"date-time":"2020-09-23T00:00:00Z","timestamp":1600819200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,23]]},"DOI":"10.1109\/csit49958.2020.9322039","type":"proceedings-article","created":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T16:54:21Z","timestamp":1643734461000},"page":"99-102","source":"Crossref","is-referenced-by-count":1,"title":["Categorical Model of Functional Language with Natural Numbers and Boolean Values"],"prefix":"10.1109","author":[{"given":"Jan","family":"Perhac","sequence":"first","affiliation":[]},{"given":"Zuzana","family":"Bilanova","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.17512\/jamcm.2017.2.12"},{"journal-title":"Logic For Computer Science Foundations of Automatic Theorem Proving","year":"2015","author":"gallier","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.15546\/aeei-2013-0051"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511863226"},{"journal-title":"A taste of category theory for computer scientists","year":"1988","author":"pierce","key":"ref14"},{"journal-title":"Category Theory for the Sciences","year":"2014","author":"spivak","key":"ref15"},{"journal-title":"Types and Programming Languages","year":"2002","author":"pierce","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50021-7"},{"journal-title":"Category Theory for Computing Science","year":"1998","author":"barr","key":"ref18"},{"key":"ref19","first-page":"5","article-title":"Linear types can change the world!","volume":"3","author":"wadler","year":"1990","journal-title":"Programming Concepts and Methods"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(74)90003-5"},{"article-title":"The curry-howard isomorphism","year":"1995","author":"de groote","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INFORMATICS.2017.8327263"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/Informatics.2015.7377833"},{"key":"ref8","first-page":"147","article-title":"What about linear logic in computer science?","volume":"10","author":"mih\u00e1lyi","year":"2013","journal-title":"Acta Polytechnica Hungarica"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4171\/088"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2699407"},{"key":"ref1","first-page":"479","article-title":"The formulae-as-types notion of construction","volume":"44","author":"howard","year":"1980","journal-title":"To H B Curry Essays on combinatory logic lambda calculus and formalism"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"165","DOI":"10.12700\/APH.14.8.2017.8.9","article-title":"Modeling synchronization problems: from composed petri nets to provable linear sequents","volume":"14","author":"perh\u00e1?","year":"2017","journal-title":"Acta Polytechnica Hungarica"}],"event":{"name":"2020 IEEE 15th International Conference on Computer Sciences and Information Technologies (CSIT)","start":{"date-parts":[[2020,9,23]]},"location":"Zbarazh, Ukraine","end":{"date-parts":[[2020,9,26]]}},"container-title":["2020 IEEE 15th International Conference on Computer Sciences and Information Technologies (CSIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9321836\/9321872\/09322039.pdf?arnumber=9322039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T13:42:08Z","timestamp":1700142128000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9322039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,23]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/csit49958.2020.9322039","relation":{},"subject":[],"published":{"date-parts":[[2020,9,23]]}}}