1. Church, A.: A formulation of the simple theory of types. J. Symb. Log. 5, 56–68 (1940)
2. Eklund, P.: Lative logic accomodating the WHO family of internationalclassifications, Encyclopedia of E-Health and Telemedicine. In: Cruz-Cunha, M.M., Miranda, I. (eds.) IGI Global (2016).
http://www.igi-global.com/book/encyclopedia-health-telemedicine/141916
3. Eklund, P. : Lative Logic for Enriched SNOMED (in preparation)
4. Eklund, P., Galán, M.A., Helgesson, R., Kortelainen, J.: Fuzzy terms. Fuzzy Sets Syst. 256, 211–235 (2014)
5. Eklund, P., Galán, M.A.: The rough powerset monad. J. Multi. Valued Log. Soft Comput. 13, 321–334 (2007)