izpis_h1_title_alt

$\lambda$-račun in kartezične zaprte kategorije : delo diplomskega seminarja
Vidmar, Jakob (Avtor), Bauer, Andrej (Mentor) Več o mentorju... Povezava se odpre v novem oknu

.pdfPDF - Predstavitvena datoteka, prenos (379,11 KB)
MD5: B14DD91A1288FF4BF9167E2B8EF6148B
Jezik:Slovenski jezik
Ključne besede:▫$\lambda$▫-račun, preprosti tipi, zaprte kartezične kategorije, polnost semantike, zdravje semantike
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:2012
Založnik:[J. Vidmar]
Št. strani:32 str.
UDK:510.6
COBISS.SI-ID:16655961 Povezava se odpre v novem oknu
Število ogledov:357
Število prenosov:365
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:λ -Calculus and Cartesian Closed Categories
Ključne besede:▫$\lambda$▫-calculus, simple types, cartesian closed categories, soundness of semantics, completeness of 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