talk by Henk Barendregt

• To: theory-seminar@theory.lcs.mit.edu, types@theory.lcs.mit.edu
• Subject: talk by Henk Barendregt
• From: Natalie F. Tarbet <NFT@XX.LCS.MIT.EDU>
• Date: Tue 8 Mar 88 09:05:59-EST

        "The Forest of Lambda Calculi With Types"

                        Henk Barendregt
             Nijmegen University, The Netherlands




              Time: Monday, March 28, 1:00--2:30
                Place: NE43-8th Floor Playroom

                          Abstract                            

Lambda calculi with various notions of generalized types---
dependent, polymorphic, parameterized, impredicative, recursive---are
proliferating.  We separate them into the systems a la Curry and those a la
Church, and then present the main systems in their simplest form in a uniform
way.
 

Hosts: Professors Albert Meyer and Arvind




-------

• Prev: Corrigendum (LICS 87 paper)
• Next: [menke@harvard.harvard.edu: Colloquium Announcements]
• Index(es):
  • Main
  • Thread