[Next]  [Up]  


The TLCA List of Open Problems (modeled after the RTA LOOP ) aims at collecting unresolved questions (and other relevant information, e.g. about solutions and related results) in the subject areas of the TLCA (Typed Lambda Calculi and Applications) series of conferences, in particular in the following topics:

Publication Remarks

  1. Publication of problems, solutions and comments is subject to the approval of the Editorial Board of the TLCA Open Problems List. The Board reserves the right to edit all submissions.
  2. The List is for informational purposes only. No guarantee is given that the summarized problem descriptions are accurate, complete and up to date. Always check the literature or contact the originator of a problem to be sure. The Editorial Board assume no liability for any inaccurate, delayed, or incomplete information, nor for any actions taken in reliance thereon.
  3. The status of a solution announcement published on TLCA List of Open Problems is equivalent to that of a message to a moderated mailing list.

[Next]  [Up]  
© 2006 Dip. Informatica - Universita di Torino
Last modified: July 21, 2014