{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:Z52A3ZUM6VAHFHXVDHIN2HPB5N","short_pith_number":"pith:Z52A3ZUM","schema_version":"1.0","canonical_sha256":"cf740de68cf540729ef519d0dd1de1eb61b1b611a8e48d1f2140ecfdeec35336","source":{"kind":"arxiv","id":"1306.2283","version":1},"attestation_state":"computed","paper":{"title":"A journey through resource control lambda calculi and explicit substitution using intersection types (an account)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Jelena Ivetic, Pierre Lescanne (LIP), Silvia Ghilezan, Silvia Likavec","submitted_at":"2013-06-10T19:05:04Z","abstract_excerpt":"In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of resources due to the presence of weakening and contraction operators. Along this journey, we propose intersection type assignment systems for all three resource control calculi. We recognise the need for three kinds of variables all requiring different kinds of intersection types. Our main contribution is the characterisation of strong normalisation o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1306.2283","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-06-10T19:05:04Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"07733213c65c57a43e7754ed17463ff284be2c498467c820ebda508942a087a7","abstract_canon_sha256":"5ab0dca2884c146abe6a281f55dcc49aad22e4976ae2899cd401a1cbd8ca0d47"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:21:21.921078Z","signature_b64":"wRq52ZQ76uDIYOp02rsIsODMezOTSOKLd9ZkNpvNi59TZ8A+2VGKGioos7dzQtbbchEJ45ON/TO9x950fTkFCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf740de68cf540729ef519d0dd1de1eb61b1b611a8e48d1f2140ecfdeec35336","last_reissued_at":"2026-05-18T03:21:21.920343Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:21:21.920343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A journey through resource control lambda calculi and explicit substitution using intersection types (an account)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Jelena Ivetic, Pierre Lescanne (LIP), Silvia Ghilezan, Silvia Likavec","submitted_at":"2013-06-10T19:05:04Z","abstract_excerpt":"In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of resources due to the presence of weakening and contraction operators. Along this journey, we propose intersection type assignment systems for all three resource control calculi. We recognise the need for three kinds of variables all requiring different kinds of intersection types. Our main contribution is the characterisation of strong normalisation o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.2283","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1306.2283","created_at":"2026-05-18T03:21:21.920460+00:00"},{"alias_kind":"arxiv_version","alias_value":"1306.2283v1","created_at":"2026-05-18T03:21:21.920460+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.2283","created_at":"2026-05-18T03:21:21.920460+00:00"},{"alias_kind":"pith_short_12","alias_value":"Z52A3ZUM6VAH","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_16","alias_value":"Z52A3ZUM6VAHFHXV","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_8","alias_value":"Z52A3ZUM","created_at":"2026-05-18T12:28:09.283467+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N","json":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N.json","graph_json":"https://pith.science/api/pith-number/Z52A3ZUM6VAHFHXVDHIN2HPB5N/graph.json","events_json":"https://pith.science/api/pith-number/Z52A3ZUM6VAHFHXVDHIN2HPB5N/events.json","paper":"https://pith.science/paper/Z52A3ZUM"},"agent_actions":{"view_html":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N","download_json":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N.json","view_paper":"https://pith.science/paper/Z52A3ZUM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1306.2283&json=true","fetch_graph":"https://pith.science/api/pith-number/Z52A3ZUM6VAHFHXVDHIN2HPB5N/graph.json","fetch_events":"https://pith.science/api/pith-number/Z52A3ZUM6VAHFHXVDHIN2HPB5N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N/action/storage_attestation","attest_author":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N/action/author_attestation","sign_citation":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N/action/citation_signature","submit_replication":"https://pith.science/pith/Z52A3ZUM6VAHFHXVDHIN2HPB5N/action/replication_record"}},"created_at":"2026-05-18T03:21:21.920460+00:00","updated_at":"2026-05-18T03:21:21.920460+00:00"}