Henning Basold
  • Home
  • Education
  • Team
  • Research
    • Publications
    • Thesis
    • Code
    • Talks
  • Contact

STyLo — Semantics, Types and Logic

My team has now a dedicated website.

  • Not f'd — you won't find me on Facebook
  • IPB Youth Network

This page is generated and maintained using Jekyll.