CORRECTION: Bastad proceedings

Article View: fj.mail-lists.types

Article #32

Back to fj.mail-lists.types Previous Next

#32

From: kentp
Date: Fri, 21 Aug 1992 15:02

12 lines
700 bytes

Date: Fri, 21 Aug 92 09:03:29 +0200

In the table of contents of the Bastad proceedings one paper was
unfortunately missing:

	Randy Pollack: Typechecking in Pure Type Systems

It was in the proceedings but not in the table of contents and
therefore not in the list of papers in the previous message. I am
sorry for the mistake.

	kent petersson

Technical Details

Message-ID: <314007@nttlab.ntt.JP>

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-kyo!kuis!kudpc!nuis!tutgw!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-kyo!kuis!kudpc!nuis!tutgw!lab!nttlab!daemon
From: kentp@cs.chalmers.se
Newsgroups: fj.mail-lists.types
Subject: CORRECTION: Bastad proceedings
Message-ID: <314007@nttlab.ntt.JP>
Date: 21 Aug 92 15:02:30 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 12
Approved: news@nttlab.ntt