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

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

• Jezik: Slovenski jezik
• Ključne besede: ▫$\lambda$▫-račun, preprosti tipi, zaprte kartezične kategorije, polnost semantike, zdravje semantike
• 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: [J. Vidmar]
• Leto izida: 2012
• Št. strani: 32 str.
• PID: 20.500.12556/RUL-97099
• UDK: 510.6
• COBISS.SI-ID: 16655961
• Datum objave v RUL: 19.10.2017

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