Gödel's system T revisited

DOI10.1016/J.TCS.2009.11.014zbMATH Open1191.68154OpenAlexW2068709824MaRDI QIDQ960861FDOQ960861

Authors: Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie 

Publication date: 29 March 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.11.014

Recommendations

• The Power of Linear Functions
• Linearity and iterator types for Gödel's system \(\mathcal T\)
• The power of closed reduction strategies
• Iterator Types
• Minimality in a linear calculus with iteration

zbMATH Keywords

linearity\(\lambda \)-calculusclosed reductionsystem \(\mathcal T\)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• Light linear logic
• Combinatory reduction systems: Introduction and survey
• Linear types and non-size-increasing polynomial time computation.
• Soft linear logic and polynomial time
• Intuitionistic Light Affine Logic
• Computational interpretations of linear logic
• An internal language for autonomous categories
• On theories with a combinatorial definition of 'equivalence'
• The lambda calculus, its syntax and semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lilac: a functional programming language based on linear logic
• Foundations of Software Science and Computation Structures
• The power of closed reduction strategies
• The Power of Linear Functions
• Closed reduction: explicit substitutions without $\alpha$ -conversion
• Title not available (Why is that?)
• Combinatory weak reduction in lambda calculus
• Weak linearization of the lambda calculus
• BCK-combinators and linear \(\lambda\)-terms have types

Cited In (8)

• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
• Natural number objects in Dialectica categories
• The Power of Linear Functions
• Title not available (Why is that?)
• On the reification of semantic linearity
• Derivation lengths classification of Gödel's T extending Howard's assignment
• Iterator Types
• Linearity and iterator types for Gödel's system \(\mathcal T\)

Uses Software

• Lilac

This page was built for publication: Gödel's system \(\mathcal T\) revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q960861)