Ero sivun ”Tietorakenne” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
tyyppiteoriasta puuttuu vielä artikkeli mutta sivutaan.. -> merkitään muistiin ainakin |
Ei muokkausyhteenvetoa |
||
Rivi 38:
== Aiheesta muualla ==
* [https://plato.stanford.edu/entries/type-theory/ Type Theory] {{en}}
== Kirjallisuutta ==
* {{Kirjaviite | Tekijä = Mehta, Dinesh P. & Sahni, Sartaj | Nimeke = Handbook of Data Structures And Applications | Julkaisija = Chapman & Hall/CRC | Vuosi = 2005 | Kieli = {{en}} | Isbn = 1-58488-435-5}}
{{Tynkä/Tietotekniikka}}
|