Bibliographic details for "a:type_theory:type_checking"

• Page name: a:type_theory:type_checking
• Author: Anonymous Contributors
• Publisher: Alexandria.
• Date of this revision: 1 January 1970 00:00 GMT
• Date retrieved: 13 March 2025 21:44 GMT
• Permanent URL: http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0
• Page Version ID: 0

Please remember to check your manual of style, standards guide or instructor's guidelines for the exact syntax to suit your needs.

a:type_theory:type_checking. (1970, Jan 1). In Alexandria. Retrieved 21:44, March 13, 2025, from http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0.

Anonymous Contributors. "a:type_theory:type_checking". Alexandria. 1 Jan. 1970. Web. 13 Mar. 2025, 21:44

Anonymous Contributors, 'a:type_theory:type_checking', Alexandria, 1 January 1970, 00:00 GMT, <http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0> [Accessed 13 March 2025]

Anonymous Contributors, "a:type_theory:type_checking", Alexandria, http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0 (Accessed March 13, 2025).

Anonymous Contributors. a:type_theory:type_checking [Internet]. Alexandria; 1970 Jan 1, 00:00 GMT [Cited 2025 Mar 13]. Available at: http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0.

a:type_theory:type_checking, http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0 (Last visited March 13, 2025).

Anonymous Contributors. a:type_theory:type_checking. Alexandria. January 1, 1970, 00:00 GMT. Available at: http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0. Accessed March 13, 2025.

 @misc{ wiki:xxx,
   author = "Anonymous Contributors",
   title = "a:type_theory:type_checking --- Alexandria",
   year = "1970",
   url = "http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0",
   note = "[Online; accessed 13-March-2025]"
 }
  

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{ wiki:xxx,
   author = "Anonymous Contributors",
   title = "a:type_theory:type_checking --- Alexandria",
   year = "1970",
   url = "\url{http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0}",
   note = "[Online; accessed 13-March-2025]"


   author = "Anonymous Contributors",
   title = "a:type_theory:type_checking --- Alexandria",
   year = "1970",
   url = "\url{http://wiki.charles.systems/doku.php?id=a:type_theory:type_checking&rev=0}",
   note = "[Online; accessed 13-March-2025]"
 }
  

Markup

[[a:type_theory:type_checking|a:type_theory:type_checking]] ([[a:type_theory:type_checking?rev=0|this version]])

Result

a:type_theory:type_checking (this version)