izpis_h1_title_alt

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

.pdfPDF - Presentation file, Download (394,21 KB)
Language:Slovenian
Keywords:matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika
Work type:Final seminar paper (mb14)
Tipology:2.11 - Undergraduate Thesis
Organization:FMF - Faculty of Mathematics and Physics
Year:2013
Publisher:[T. Stepišnik Perdih]
Number of pages:24 str.
UDC:510.6
COBISS.SI-ID:16967001 Link is opened in a new window
Views:180
Downloads:102
Metadata:XML RDF-CHPDL DC-XML DC-RDF
 
Average score:(0 votes)
Your score:Voting is allowed only to logged in users.
:
Share:AddThis
AddThis uses cookies that require your consent. Edit consent...

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:

Comments

Leave comment

You have to log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back