{"id":2870,"date":"2025-04-07T10:43:24","date_gmt":"2025-04-07T13:43:24","guid":{"rendered":"https:\/\/icc.fcen.uba.ar\/?p=2870"},"modified":"2025-04-07T10:43:24","modified_gmt":"2025-04-07T13:43:24","slug":"a-linear-linear-lambda-calculus","status":"publish","type":"post","link":"https:\/\/icc.fcen.uba.ar\/en\/a-linear-linear-lambda-calculus\/","title":{"rendered":"A linear linear lambda-calculus"},"content":{"rendered":"

Authors: Alejandro D\u00edaz-Caro and Gilles Dowek<\/p>\n

Abstract:
\nWe present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part of a broader research program aiming to define a logic with a proof language that forms a quantum programming language.<\/p>\n

More information:
\nhttps:\/\/doi.org\/10.1017\/S0960129524000197<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Authors: Alejandro D\u00edaz-Caro and Gilles Dowek Abstract: We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part of a broader research […]<\/p>\n","protected":false},"author":9,"featured_media":2871,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[98],"tags":[],"class_list":["post-2870","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-papers"],"_links":{"self":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2870","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/comments?post=2870"}],"version-history":[{"count":1,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2870\/revisions"}],"predecessor-version":[{"id":2872,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/2870\/revisions\/2872"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media\/2871"}],"wp:attachment":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media?parent=2870"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/categories?post=2870"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/tags?post=2870"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}