Proof nets, garbage, and computations (Q1589650): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Stefano Guerrini / rank | |||
Property / author | |||
Property / author: Simone Martini / rank | |||
Property / author | |||
Property / author: Andrea Masini / rank | |||
Property / author | |||
Property / author: Stefano Guerrini / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Simone Martini / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Andrea Masini / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computational interpretations of linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4327828 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5397484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interaction systems II: The practice of optimal reductions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequent reconstruction in LLM -- A sweepline proof / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A general theory of sharing graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parsing MELL proof nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence for sharing proof-nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3024907 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimality and inefficiency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3922646 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4953356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4842974 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Call-by-name, call-by-value, call-by-need and the linear lambda calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692880 / rank | |||
Normal rank |
Latest revision as of 10:13, 3 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof nets, garbage, and computations |
scientific article |
Statements
Proof nets, garbage, and computations (English)
0 references
12 December 2000
0 references
linear logic
0 references
typed lambda-calculus
0 references
cut-elimination
0 references
sharing graphs
0 references
proof nets
0 references