scientific article; zbMATH DE number 2079016

zbMATH Open1044.03508MaRDI QIDQ4474828FDOQ4474828

Authors: Torben Braüner 

Publication date: 21 July 2004

Title of this publication is not available (Why is that?)

Recommendations

• Girard translation and logical predicates
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• The bang calculus and the two Girard's translations
• Temporal Gödel-Gentzen and Girard translations
• Functional interpretations of intuitionistic linear logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (3)

• A general adequacy result for a linear functional language
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• The bang calculus and the two Girard's translations

Uses Software

• Lilac

This page was built for publication:

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