AboutSign inJoin
User photo

Martin Hofmann

About

Martin Hofmann is a Czech actor.

Books

Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Martin Hofmann
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Martin Hofmann
Automatentheorie und Logik
Automatentheorie und Logik
Martin Hofmann, Martin Lange
Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
Martin Hofmann
Trustworthy Global Computing
Trustworthy Global Computing
Axel Rauschmayer, Martin Wirsing, Martin Hofmann
Extensional Constructs in Intensional Type Theory
Extensional Constructs in Intensional Type Theory
Martin Hofmann

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian