izpis_h1_title_alt

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

.pdfPDF - Predstavitvena datoteka, prenos (394,21 KB)
MD5: CB1DED5AEEF6B3920DEFAC68C4569FC1
PID: 20.500.12556/rul/85e18a7b-18a3-4da8-ba14-d903f9ea8767

Jezik:Slovenski jezik
Ključne besede:matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika
Vrsta gradiva:Delo diplomskega seminarja/zaključno seminarsko delo/naloga
Tipologija:2.11 - Diplomsko delo
Organizacija:FMF - Fakulteta za matematiko in fiziko
Kraj izida:Ljubljana
Založnik:[T. Stepišnik Perdih]
Leto izida:2013
Št. strani:24 str.
PID:20.500.12556/RUL-97144 Povezava se odpre v novem oknu
UDK:510.6
COBISS.SI-ID:16967001 Povezava se odpre v novem oknu
Datum objave v RUL:20.10.2017
Število ogledov:1362
Število prenosov:307
Metapodatki:XML DC-XML DC-RDF
:
Kopiraj citat
Objavi na:Bookmark and Share

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:

Nazaj