Type Theory An Introduction Bengt Nordstr¨om Kent Petersson Jan M. Smith Department / National Swedish Board For Technical Development / Oxford University / Computing Sciences University of G¨oteborg / /
Person
Jan M. Smith / Kent Petersson / Kent Petersson Jan / Peter Dybjer / Larry Paulson / Jan Smith G¨oteborg / Roy Dyckhoff / Gerard Huet / Thierry Coquand / Bengt Nordstr¨om / Anne Salvesen / Samson Abramsky / Christine Paulin-Mohring / Stuart Anderson / Dan Synek / Peter Aczel / Roland Backhouse / /