search

HoTT / book

A textbook on informal homotopy type theory
2.03k stars 360 forks source link

correction to reference #881

Closed RobertHarper closed 8 years ago

RobertHarper commented 8 years ago

Giovanni Sambin wrote to me to report that the monograph "Intuitionistic Type Theory" by Per Martin-Loef is improperly cited in the book. The correct citation is (from him):

Per Martin-Löf, Intuitionistic Type Theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980, Bibliopolis, Napoli, 1984

Please correct this. He is finding that others are copying it from the book, and he wishes to have it cited properly as being by Martin-Loef alone.

mikeshulman commented 8 years ago

I'm confused. The current citation is

Per Martin-Lof. Intuitionistic type theory, volume 1 of Studies in Proof Theory. Bibliopolis, 1984.

This seems fairly clear to me that it is by Martin-Loef alone. Is it that Sambin wants to be mentioned as the notetaker? I see that the bibtex has Subtitle = {Notes by Giovanni Sambin}, but apparently the bib style didn't include that in the output; I guess we could move it into the Title field to make it display.

RobertHarper commented 8 years ago

i sent the citation that he wants.

bob

On Dec 14, 2015, at 13:44, Mike Shulman notifications@github.com wrote:

I'm confused. The current citation is

Per Martin-Lof. Intuitionistic type theory, volume 1 of Studies in Proof Theory. Bibliopolis, 1984.

This seems fairly clear to me that it is by Martin-Loef alone. Is it that Sambin wants to be mentioned as the notetaker? I see that the bibtex has Subtitle = {Notes by Giovanni Sambin}, but apparently the bib style didn't include that in the output; I guess we could move it into the Title field to make it display.

— Reply to this email directly or view it on GitHub https://github.com/HoTT/book/issues/881#issuecomment-164522263.

mikeshulman commented 8 years ago

Ok, so you are saying that what he wants is to be mentioned as the notetaker. That makes perfect sense to me; I was just confused by your last sentence since it implied to me that what he wanted was to not be cited as a coauthor.