Advanced

 
  Search
    Simple search


Results

7 results
1 - 7 / 7
First pagePrevious page1Next pageLast page
1. Algoritem za izračun lambda izrazov na FPGA vezju
Lovro Habjan, 2020, bachelor thesis/paper

Keywords: lambda račun, funkcijsko programiranje, končni avtomat, FPGA
Full text (file, 1,13 MB)

2. Lambda račun in izračunljive funkcije
Aleš Bizjak, 2010, undergraduate thesis

Keywords: lambda račun, izračunljive funkcije, rekurzivne funkcije
Full text (file, 248,73 KB)

3. $\lambda$-račun in kartezične zaprte kategorije
Jakob Vidmar, 2012, undergraduate thesis

Keywords: ▫$\lambda$▫-račun, preprosti tipi, zaprte kartezične kategorije, polnost semantike, zdravje semantike
Full text (file, 379,11 KB)

4. Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu
Tomaž Stepišnik Perdih, 2013, undergraduate thesis

Keywords: matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika
Full text (file, 394,21 KB)

5. Funkcijsko reagentno programiranje
Ana Borovac, 2017, undergraduate thesis

Keywords: matematika, funkcijsko programiranje, funkcijsko reagentno programiranje, lambda račun, signali
Full text (file, 531,63 KB)

6. Uporaba tipov za zagotavljanje pravilnosti programov
Filip Koprivec, 2017, undergraduate thesis

Keywords: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
Full text (file, 293,61 KB)

7. Curry-Howardova korespondenca
Neža Korenjak, 2022, bachelor thesis/paper

Keywords: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca
Full text (file, 468,96 KB)
Search done in 0.07 sec.
Back to top