Natural deduction systems for the lambda-cube?

• To: types@cis.upenn.edu
• Subject: Natural deduction systems for the lambda-cube?
• From: Eduardo Ochs <ochs@math.mcgill.ca>
• Date: Tue, 16 Apr 2002 20:54:24 -0400

Hi list,

I've been working a system of natural deduction that is a sort of a
natural deduction version for the systems in the \lambda-cube, and I
just realized that probably other people could have also attempted to
do that before me, and that I should take a look at their papers...

Anyone knows of any work in that direction?

  Thanks in advance, cheers,
    Eduardo Ochs
    http://angg.twu.net/
    ochs@math.mcgill.ca

• Prev: Summer School on Computational Logic
• Next: Flocasa: 2nd Call for Paper
• Index(es):
  • Main
  • Thread