Yahalom (protocol): Difference between revisions
Jump to navigation
Jump to search
en>Helpful Pixie Bot m ISBNs (Build KC) |
en>Widefox →See also: no redund see also |
||
| Line 1: | Line 1: | ||
{{Asbox | |||
|icon = <math>\Gamma\vdash x : \text{Int}</math> | |||
|subject = [[programming language theory]] or [[type theory]]-related | |||
|category = Programming language theory stubs | |||
| category1 = WikiProject Computer science stubs | |||
|name = Template:Plt-stub | |||
}} | |||
<noinclude> | |||
[[Category:Mathematics stub templates]] | |||
[[Category:Computer science stub templates]] | |||
</noinclude> | |||