The Girard Translation extended with recursion

This publication has 10 references indexed in Scilit:

• New foundations for fixpoint computations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A General Adequacy Result for a Linear Functional Language
  BRICS Report Series, 1994
• A model of intuitionistic affine logic from stable domain theory
  Published by Springer Nature ,1994
• The Formal Semantics of Programming Languages
  Published by MIT Press ,1993
• An internal language for autonomous categories
  Applied Categorical Structures, 1993
• A term calculus for Intuitionistic Linear Logic
  Published by Springer Nature ,1993
• Strong monads, algebras and fixed points
  Published by Cambridge University Press (CUP) ,1992
• A note on inconsistencies caused by fixpoints in a cartesian closed category
  Theoretical Computer Science, 1990
• Linear logic
  Theoretical Computer Science, 1987
• Diagonal arguments and cartesian closed categories
  Published by Springer Nature ,1969