19992021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter (peer-reviewed)

Search results

  • 2012

    A history of types

    Kamareddine, F. D., Laan, T. & Nederpelt, R., 2012, Logic: A History of its Central Concepts. San Diego: Elsevier, Vol. 11. p. 451-512

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Russell’s orders in Kripke’s Theory of Truth and Computational Type Theory

    Kamareddine, F. D., Laan, T. & Constable, R., 2012, Handbook of the History of Logic: Sets and Extensions in the Twentieth Century. Gabbay, D., Kanamori, A. & Woods, J. (eds.). San Diego: Elsevier, Vol. 6. p. 801-845 44 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • 2004

    Flexible encoding of mathematics on the computer

    Kamareddine, F., Maarek, M. & Wells, J. B., 2004, Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings. Vol. 3119. p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 3119).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    7 Citations (Scopus)