S. H. Voss
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
The structure of type theory Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 31977CZYSTY TEKST
C. Sayword, S. H. Voss, The structure of type theory, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
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 = "" }