Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu : delo diplomskega seminarja

Stepišnik Perdih, Tomaž (author), Bauer, Andrej (mentor), Pretnar, Matija (comentor)

• Language: Slovenian
• Keywords: matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika
• Work type: Final seminar paper
• Typology: 2.11 - Undergraduate Thesis
• Organization: FMF - Faculty of Mathematics and Physics
• Place of publishing: Ljubljana
• Publisher: [T. Stepišnik Perdih]
• Year: 2013
• Number of pages: 24 str.
• PID: 20.500.12556/RUL-97144
• UDC: 510.6
• COBISS.SI-ID: 16967001
• Publication date in RUL: 20.10.2017

Secondary language

• Language: English
• Title: Generating theorems from types of functions in polymorphic lambda calculus
• Keywords: mathematics, polymorphic lambda calculus, parametric polymorphism, denotational semantics