CORRECTION: Bastad proceedings

Thread View: fj.mail-lists.types

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by kentp Fri, 21 Aug 1992 15:02

#32

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads