Typography in process algebra

J.C.M. Baeten, J.W. Klop

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional


    This note is dedicated in gratitude to Jan Karel Lenstra, who reputedly is able to distinguish an ordinary full stop symbol (".") from its italicized version ("."), and who has inspired us with his knowledge and passion for typography. For his amusement we offer him a sample of typographical matters that we encountered in Process Algebra, of which the Amsterdam version originated at MC and CWI in the early eighties. The present note is written in the fonts Palatino and Euler, the latter being an upright cursive typeface, commissioned by the American Mathematical Society and designed and created by Hermann Zapf with the assistance of Donald Knuth.
    Original languageEnglish
    Title of host publicationJan Karel Lenstra, the traveling science man. Liber amicorum
    EditorsC. Vonderen, van
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    ISBN (Print)978-90-6196-559-6
    Publication statusPublished - 2011


    Dive into the research topics of 'Typography in process algebra'. Together they form a unique fingerprint.

    Cite this