S. H. Voss

1 artykuły w 1 czasopismach

• The structure of type theory Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 3

  1977

  C. Sayword S. H. Voss

  Zacytuj Udostępnij
  CZYSTY TEKST

  C. Sayword, S. H. Voss, The structure of type theory, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.

  pobierz cytat

  BIBTEX

  @Article{ authors = " C. Sayword, S. H. Voss", title = "The structure of type theory", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }

  pobierz cytat