Typography in process algebra

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Abstract

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
Pages127-138
ISBN (Print)978-90-6196-559-6
Publication statusPublished - 2011

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

  • Cite this

    Baeten, J. C. M., & Klop, J. W. (2011). Typography in process algebra. In C. Vonderen, van (Ed.), Jan Karel Lenstra, the traveling science man. Liber amicorum (pp. 127-138). Centrum voor Wiskunde en Informatica.