$\lambda$-račun in kartezične zaprte kategorije : delo diplomskega seminarja

Vidmar, Jakob (author), Bauer, Andrej (mentor)

• 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
• UDC: 510.6
• COBISS.SI-ID: 16655961
• Publication date in RUL: 19.10.2017

Secondary language

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