Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu : delo diplomskega seminarja

Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu : delo diplomskega seminarja
Stepišnik Perdih, Tomaž (Avtor), Bauer, Andrej (Mentor) Več o mentorju... Povezava se odpre v novem oknu

PDF - Predstavitvena datoteka, prenos (394,21 KB)

Jezik:	Slovenski jezik
Ključne besede:	matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika
Vrsta gradiva:	Delo diplomslega seminarja/zaključno seminarsko delo/naloga (mb14)
Tipologija:	2.11 - Diplomsko delo
Organizacija:	FMF - Fakulteta za matematiko in fiziko
Leto izida:	2013
Založnik:	[T. Stepišnik Perdih]
Št. strani:	24 str.
UDK:	510.6
COBISS.SI-ID:	16967001
Število ogledov:	198
Število prenosov:	106
Metapodatki:

Skupna ocena:	(0 glasov)
Vaša ocena:	Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
:
Objavi na:
AddThis uporablja piškotke, za katere potrebujemo vaše privoljenje. Uredi privoljenje...

Sekundarni jezik

Jezik:	Angleški jezik
Naslov:	Generating theorems from types of functions in polymorphic lambda calculus
Ključne besede:	mathematics, polymorphic lambda calculus, parametric polymorphism, denotational semantics

Podobna dela v RUL:
Podobna dela v drugih slovenskih zbirkah:

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)

0 - 0 / 0

Ni komentarjev!