[TYPES] TLCA List of Open Problems

Pawel Urzyczyn urzy at mimuw.edu.pl
Fri Apr 20 08:42:03 EDT 2007


I would like to announce the launch of 

                    TLCA List of Open Problems 
                 http://tlca.di.unito.it/opltlca/

The List (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. The initial list consists of
21 problems dated from 1958 to 2007. Everyone is invited to submit new
problems, solutions and comments to tlca at mimuw.edu.pl or to any of the 
three editors:

Ryu Hasegawa     ryu at ms.u-tokyo.ac.jp
Luca Paolini     paolini at di.unito.it
Pawel Urzyczyn   urzy at mimuw.edu.pl 

Best regards,
Pawel Urzyczyn




More information about the Types-list mailing list