Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Agda (programmeerimiskeel) (märksõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
3
Vaata veel..
(3/44)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Experimenting with graded monads: certified grading-based program transformations
Talvik, Tõnn
;
Uustalu, Tarmo
24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts
2018
/
p. 82-83
https://types2018.projj.eu/book-of-abstracts/
artikkel kogumikus
2
artikkel kogumikus
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
The interplay of mathematics, logic, and linguistics
2021
/
p. 377−406
https://doi.org/10.1007/978-3-030-66545-6_11
artikkel kogumikus
3
artikkel ajakirjas
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2018
/
p. 345-370
https://doi.org/10.1016/j.entcs.2018.11.017
artikkel ajakirjas
Kirjeid leitud 3, kuvan
1 - 3
märksõna
34
1.
Agda (programmeerimiskeel)
2.
ActiveX (programmeerimiskeel)
3.
Ada (programmeerimiskeel)
4.
ALGAMS (programmeerimiskeel)
5.
Algol (programmeerimiskeel)
6.
An (programmeerimiskeel)
7.
Basic (programmeerimiskeel)
8.
C (programmeerimiskeel)
9.
C++ (programmeerimiskeel)
10.
CLU (programmeerimiskeel)
11.
Cobol (programmeerimiskeel)
12.
DIAMS-2 (programmeerimiskeel)
13.
Fortran (programmeerimiskeel)
14.
Haskell (programmeerimiskeel)
15.
HTML (programmeerimiskeel)
16.
Java (programmeerimiskeel)
17.
LISP (programmeerimiskeel)
18.
Malgol (programmeerimiskeel)
19.
Modula (programmeerimiskeel)
20.
OWL (programmeerimiskeel)
21.
Pascal (programmeerimiskeel)
22.
Pasval (programmeerimiskeel)
23.
Pd (programmeerimiskeel)
24.
PL/1 (programmeerimiskeel)
25.
Prolog (programmeerimiskeel)
26.
Python (programmeerimiskeel)
27.
SQL (programmeerimiskeel)
28.
SysML (programmeerimiskeel)
29.
SystemC (programmeerimiskeel)
30.
UML (programmeerimiskeel)
31.
UTOPIST (programmeerimiskeel)
32.
VHDL (programmeerimiskeel)
33.
While (programmeerimiskeel)
34.
XML (programmeerimiskeel)
pealkiri
8
1.
An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automata
2.
Formalizing 𝜋-calculus in guarded cubical Agda
3.
Formalizingπ-calculus in guarded cubical agda
4.
Programmeerimiskeel C++
5.
Programmeerimiskeel C++ : objektitehnika
6.
Programmeerimiskeel Pascal : õppevahend
7.
Programmeerimiskeel PL/1 : loengukonspekt
8.
Programmeerimiskeel Turbo Pascal : objektitehnika
võtmesõna
2
1.
Agda
2.
Cubical Agda