URL for functorial lambda-calculus

• To: types@cis.upenn.edu, categories@mta.ca
• Subject: URL for functorial lambda-calculus
• From: Barry Jay <cbj@socs.uts.edu.au>
• Date: Tue, 11 Jan 2000 11:19:17 +1100 (EST)

My apologies to all those who tried to access the paper "Functorial
lambda-calculus". The correct URL is

http://www-staff.socs.uts.edu.au/~cbj/Publications/fl_report.ps.gz

Thanks to all those who contacted me directly. 


Barry


*************************************************************************
| Associate Professor C.Barry Jay, 					|
| Reader in Computing Sciences		Phone: (61 2) 9514 1814		|
| Head, Algorithms and Languages Group,	Fax:   (61 2) 9514 1807		|
| University of Technology, Sydney,	e-mail: cbj@socs.uts.edu.au	|
| P.O. Box 123 Broadway, 2007,	  http://www-staff.socs.uts.edu.au/~cbj	|
| Australia.			        FISh homepage ... ~cbj/FISh     |
*************************************************************************

• Prev: Re: type safety
• Next: CFP: Implicit Computational Complexity workshop (ICC)
• Index(es):
  • Main
  • Thread