izpis_h1_title_alt

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, Pretnar, Matija (Komentor)

.pdfPDF - 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 Povezava se odpre v novem oknu
Število ogledov:196
Število prenosov:106
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
 
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
:
Objavi na:AddThis
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

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

Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj