Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
EUTYPES-TYPES 2020 : Abstracts (source)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(5/93)
Export
export all inquiry results
(3)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Calling paradigms and the box calculus
Santo, Jose Espırito
;
Pinto, Luis
;
Uustalu, Tarmo
EUTYPES-TYPES 2020 : Abstracts
2020
/
2 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
book article
2
book article
Formalizingπ-calculus in guarded cubical agda
Veltri, Niccolo
;
Vezzosi, Andrea
EUTYPES-TYPES 2020 : Abstracts
2020
/
3 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
book article
3
book article
A type-theoretic potpourri: towards final coalgebrasof accessible functors
Basold, Henning
;
Veltri, Niccolo
EUTYPES-TYPES 2020 : Abstracts
2020
/
3 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
book article
Number of records 3, displaying
1 - 3
CV
36
1.
Ainola, Leo 1929-2020
2.
Allekand, Alfred 1928-2020
3.
Anvelt, Juhan 1956-2020
4.
Einväli, Eevi 1935-2020
5.
Hendre, Enn 1938-2020
6.
Jaaniso, Malle 1933-2020
7.
Just, Elmar-Jaan 1941-2020
8.
Kaas, Ahto 1957-2020
9.
Karro, Hans 1923-2020
10.
Kodurand, Mart 1958-2020
11.
Kulbach, Valdek 1927-2020
12.
Kõiv, Ants-Kaspar 1935-2020
13.
Külm, Evald 1934-2020
14.
Lond, Heldur 1928-2020
15.
Luvištšuk, Juzef 1943-2020
16.
Maantoa, Tiiu 1937-2020
17.
Minn, Mari 1982-2020
18.
Nüssik, Jaan 1931-2020
19.
Otsepp, Rein 1935-2020
20.
Parve, Toomas 1949-2020
21.
Põldme, Meeme 1939-2020
22.
Randmann, Rein 1937-2020
23.
Reiska, Rein 1939-2020
24.
Rusalep, Ervin 1934-2020
25.
Soomaa, Heino 1928-2020
26.
Stepanišin, Vladimir 1946-2020
27.
Suislepp, Ethe 1920-2020
28.
Tauts, Olev 1941-2020
29.
Traks, Kuno 1947-2020
30.
Truve, Erkki 1965-2020
31.
Tõugu, Enn 1935-2020
32.
Ummelas, Mart 1953-2020
33.
Uudelepp, Agu 1974-2020
34.
Uus, Endel 1927-2020
35.
Uutma, Toomas 1945-2020
36.
Vabaoja, Jüri 1936-2020
keyword
25
1.
armchair and zigzag types
2.
coinductive types
3.
data types
4.
dolomite types
5.
higher inductive types
6.
innovation types
7.
modal types
8.
multiple stressor effect types
9.
pavement types
10.
projection types
11.
shore types
12.
types
13.
types of measuring instruments
14.
types of oil shale ash
15.
wave types
16.
EU 2020
17.
EU Horizon 2020 research project GRACE (Integrated oil spill response actions and environmental effects)
18.
EU post-2020 biodiversity strategy
19.
Global Sulphur Cap 2020
20.
Horizon 2020
21.
human resource and Strategy Europe 2020
22.
Sohjoa Baltic project (2017-2020)
23.
strategy Europe 2020
24.
2020 Global sulphur cap
25.
(Mining and Metallurgy Regions of EU, 2018-2020) MIREU
subject term
19
1.
Aasta Insener, konkurss (2020)
2.
Aasta Kultuuri Tegu, 2020
3.
Aasta tehasemaja, konkurss (2020)
4.
Aasta tehnikaüliõpilane, konkurss (2020)
5.
Balti raamatukoguhoidjate kongress (11 : 2020 : Tallinn)
6.
EXPO 2020 (Dubai)
7.
Horizon 2020, Euroopa Liidu teadusuuringute ja innovatsiooni raamprogramm
8.
Mina, superorganism : lugu bakterite ja inimese kooselust, näitus Eesti Tervishoiu Muuseumis (2019-2020) : Tallinn
9.
Netexplo Smart Cities, 2020
10.
Raamatukogupäevad (2020)
11.
Scripta manent, rahvusvaheline köitekunstinäitus (6:2020:Tallinn)
12.
TalTech majandusvõistlus, 2020 veebruar
13.
Teadlaste Öö (2020)
14.
Teadus- ja erialaraamatukogu päev (13 : 2020 : Tartu)
15.
Võti Tulevikku, karjäärimess (2020 : Tallinn)
16.
2017-2020
17.
2019-2020
18.
2020
19.
2020-ndad
name of the person
11
1.
Ainola, Leo, 1929-2020
2.
Just, Elmar-Jaan, 1941-2020
3.
Koppel, Ilmar, 1940-2020
4.
Koralek, Paul, 1933-2020
5.
Kulbach, Valdek, 1927-2020
6.
Reiska, Rein, 1939-2020
7.
Sarnet, Tõivo, 1944-2020
8.
Truve, Erkki, 1965-2020
9.
Tõugu, Enn, 1935-2020
10.
Ummelas, Mart, 1953-2020
11.
Uudelepp, Agu, 1974-2020
TTÜ subject term
2
1.
Horisont 2020 Twinning
2.
KüberPähkel (2020)
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT