Papers that I haven't got around to reading

• Synchronization of musical words
• Paracategories I: internal paracategories and saturated partial algebras Codes and Invariant Theory
• On enumeration of the perfect binary codes of length 15
• A-classification of idempotent functions of many-valued logic
• Polynomial equation solving by lifting procedures for ramified fibers, Pages 335-369 A. Bompadre, G. Matera, R. Wachenchauzer and A. Waissbein
• Equilogical spaces, Pages 35-59 Andrej Bauer, Lars Birkedal and D.S.Dana S. Scott
• Poset-valued sets or how to build models for linear logics, Pages 83-107 Andrea Schalk and Valeria de Paiva
• Real functions incrementally computable by finite automata, Pages 109-133 Michal Koneny
• Recent Advances in Constraints
• A central limit theorem and improved error bounds for a hybrid-Monte Carlo sequence with applications in computational finance