izpis_h1_title_alt

Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu : delo diplomskega seminarja
ID Stepišnik Perdih, Tomaž (Author), ID Bauer, Andrej (Mentor) More about this mentor... This link opens in a new window, ID Pretnar, Matija (Co-mentor)

.pdfPDF - Presentation file, Download (394,21 KB)
MD5: CB1DED5AEEF6B3920DEFAC68C4569FC1
PID: 20.500.12556/rul/85e18a7b-18a3-4da8-ba14-d903f9ea8767

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 This link opens in a new window
UDC:510.6
COBISS.SI-ID:16967001 This link opens in a new window
Publication date in RUL:20.10.2017
Views:1002
Downloads:282
Metadata:XML RDF-CHPDL DC-XML DC-RDF
:
Copy citation
Share:Bookmark and Share

Secondary language

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

Similar documents

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

Back