302 articles – 345 Notices  [english version]
.:. Consultation > Liste par année > 2001 .:.
3 documents classés par :
fulltext access Map Theory et Antifondation
Vallée T.
Université Paris-Diderot - Paris VII (2001-12-21), Berline Chantal (Dir.) [tel-00001298 - version 1]
Retracts in Simple Types
Padovani V.
In Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings. - Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Poland (2001) [hal-00527856 - version 1]
On phase semantics and denotational semantics: the exponentials
Ehrhard T., Bucciarelli A.
Annals of Pure and Applied Logic 109, 3 (2001) 205-241 [hal-00527042 - version 1]