Cite This Page

Contents

APA
MLA
MHRA
Chicago
CSE
Bluebook
AMA
BibTeX
wiki

IMPORTANT NOTE: Most educators and professionals do not consider it appropriate to use tertiary sources such as encyclopedias as a sole source for any information—citing an encyclopedia as an important reference in footnotes or bibliographies may result in censure or a failing grade. Wikipedia articles should be used for background information, as a reference for correct terminology and search terms, and as a starting point for further research.

As with any community-built reference, there is a possibility for error in Wikipedia's content—please check your facts against multiple sources and read our disclaimers for more information.

Bibliographic details for "Dependent type"

Page name: Dependent type
Author: Wikipedia contributors
Publisher: Wikipedia, The Free Encyclopedia.
Date of last revision: 28 May 2024 20:17 UTC
Date retrieved: 5 November 2024 02:12 UTC
Permanent link: https://en.wikipedia.org/w/index.php?title=Dependent_type&oldid=1226143218
Primary contributors: revision history statistics
Page Version ID: 1226143218

Please remember to check your manual of style, standards guide or instructor's guidelines for the exact syntax to suit your needs. For more detailed advice, see Citing Wikipedia.

AMA style

Wikipedia contributors. Dependent type. Wikipedia, The Free Encyclopedia. May 28, 2024, 20:17 UTC. Available at: https://en.wikipedia.org/w/index.php?title=Dependent_type&oldid=1226143218. Accessed November 5, 2024.

BibTeX entry

  @misc{ enwiki:1226143218,
    author = "{Wikipedia contributors}",
    title = "Dependent type --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2024",
    url = "https://en.wikipedia.org/w/index.php?title=Dependent_type&oldid=1226143218",
    note = "[Online; accessed 5-November-2024]"
  }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble), which tends to give much more nicely formatted web addresses, the following may be preferred:

  @misc{ enwiki:1226143218,
    author = "{Wikipedia contributors}",
    title = "Dependent type --- {Wikipedia}{,} The Free Encyclopedia",
    year = "2024",
    howpublished = "\url{https://en.wikipedia.org/w/index.php?title=Dependent_type&oldid=1226143218}",
    note = "[Online; accessed 5-November-2024]"
  }

Wikipedia talk pages

Markup: [[Dependent type]] ([[Special:Permalink/1226143218|this version]])
Result: Dependent type (this version)

Cite This Page

Bibliographic details for "Dependent type"

Citation styles for "Dependent type"

APA style

MLA Style Manual

MHRA style

Chicago style

CBE/CSE style

Bluebook style

AMA style

BibTeX entry

Wikipedia talk pages