izpis_h1_title_alt

$\lambda$-račun in kartezične zaprte kategorije : delo diplomskega seminarja
ID Vidmar, Jakob (Author), ID Bauer, Andrej (Mentor) More about this mentor... This link opens in a new window

.pdfPDF - Presentation file, Download (379,11 KB)
MD5: B14DD91A1288FF4BF9167E2B8EF6148B
PID: 20.500.12556/rul/3651cb04-55eb-4fd7-80c3-a8013f5c01cc

Language:Slovenian
Keywords:▫$\lambda$▫-račun, preprosti tipi, zaprte kartezične kategorije, polnost semantike, zdravje semantike
Work type:Final seminar paper
Typology:2.11 - Undergraduate Thesis
Organization:FMF - Faculty of Mathematics and Physics
Place of publishing:Ljubljana
Publisher:[J. Vidmar]
Year:2012
Number of pages:32 str.
PID:20.500.12556/RUL-97099 This link opens in a new window
UDC:510.6
COBISS.SI-ID:16655961 This link opens in a new window
Publication date in RUL:19.10.2017
Views:1240
Downloads:456
Metadata:XML DC-XML DC-RDF
:
Copy citation
Share:Bookmark and Share

Secondary language

Language:English
Title:λ -Calculus and Cartesian Closed Categories
Keywords:▫$\lambda$▫-calculus, simple types, cartesian closed categories, soundness of semantics, completeness of semantics

Similar documents

Similar works from RUL:
Similar works from other Slovenian collections:

Back