5,223 followers
There are two different texts with the same author, Martin Hofmann, the same title, “Syntax and semantics of dependent types”, and the same publication year, 1997: https://t.co/uy9vWHtfws and https://t.co/hJl0mzgjmX 🤦 #ContextClub