Vaš brskalnik ne omogoča JavaScript!
JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali pa uporabite sodobnejši brskalnik.
Nacionalni portal odprte znanosti
Odprta znanost
DiKUL
slv
|
eng
Iskanje
Brskanje
Novo v RUL
Kaj je RUL
V številkah
Pomoč
Prijava
Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu : delo diplomskega seminarja
Stepišnik Perdih, Tomaž
(
Avtor
),
Bauer, Andrej
(
Mentor
)
Več o mentorju...
,
Pretnar, Matija
(
Komentor
)
PDF - Predstavitvena datoteka,
prenos
(394,21 KB)
MD5: CB1DED5AEEF6B3920DEFAC68C4569FC1
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:
404
Število prenosov:
213
Metapodatki:
Skupna ocena:
(0 glasov)
Vaša ocena:
Ocenjevanje je dovoljeno samo
prijavljenim
uporabnikom.
Citiraj gradivo
Navadno besedilo
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago
Harvard
IEEE
ISO 690
MLA
Vancouver
:
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
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