publications

See the publication list on my Data61 profile page, on my Google Scholar profile, or on DBLP.

Book: Tobias Nipkow, Gerwin Klein: Concrete Semantics, Springer 2014.

publications
A professor is one who talks in someone else's sleep.