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
call-by-value (keyword)
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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(2/101)
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 EST
/
book article ENG
Modal embeddings and calling paradigms
Espirito Santo, Jose
;
Pinto, Luis
;
Uustalu, Tarmo
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
2019
/
art. 18 ; 20 p. : ill
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
2
book article
Modal embeddings and calling paradigms
Santo, José Espírito
;
Pinto, Luís
;
Uustalu, Tarmo
Days in Logic 2022 : Universidade do Algrave, June 30-July 2, 2022
2022
/
20 p
https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf
https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf
book article
3
journal article EST
/
journal article ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 3, displaying
1 - 3
keyword
100
1.
call-by-value
2.
call-by-push value
3.
call
4.
call data record
5.
call detail records
6.
call-by-name
7.
CALL-technology
8.
computer-assisted language learning (CALL)
9.
added value
10.
advertising value
11.
areas of cultural and environmental value
12.
assessment of calorific value and moisture content
13.
boundary value problem
14.
boundary value problems
15.
calorific value
16.
charter value
17.
cocreated brand value
18.
conditional value at risk (CVaR)
19.
consumer digital cocreated value
20.
Consumer-perceived value (CPV)
21.
course-of-value function
22.
cultural value
23.
customer engagement value
24.
customer value
25.
design value
26.
Ducoffe’s advertisement value model
27.
European added value
28.
E-value
29.
extreme value distribution
30.
extreme value distributions
31.
extreme value statistics
32.
generalised extreme value (GEV)
33.
generalised extreme value distribution
34.
global value chain
35.
global value chains (GVC)
36.
gross calorific value
37.
heating value
38.
information value
39.
Islamic public value
40.
market value added
41.
milieu value
42.
moisture buffer value
43.
net present value
44.
Net Present Value (NPV)
45.
non-market value
46.
non-use value
47.
oil shale value chain
48.
open value network
49.
perceived customer value theory
50.
perceived value of an innovation
51.
portrait value questionnaire
52.
price and value of housing
53.
public value
54.
public value sphere
55.
recreation value
56.
sampled measure value
57.
service value
58.
services value chain collaboration
59.
shareholder value
60.
smart service value (SSV)
61.
social value
62.
zero value
63.
target value design
64.
the co-creation of value
65.
theory of value
66.
Utilitarian/hedonic/social value
67.
value
68.
value activity cycle
69.
value added
70.
value adding REE chain
71.
value alignment
72.
value as a commons
73.
value at risk
74.
value centric design
75.
value chain
76.
value cocreation
77.
value co-creation
78.
value creation
79.
value dissipation
80.
value distribution
81.
value network analysis
82.
value of ecosystem services
83.
value of learning
84.
value of lost load
85.
value propositions
86.
value settings
87.
value steam mapping
88.
value stream mapping
89.
value system
90.
value systems
91.
value theory
92.
value-added activities (VA)
93.
value-added bioproducts
94.
value-added intellectual coefficient
95.
value-added tax
96.
value-centric business
97.
value-centric design
98.
value-centric model
99.
value-in-experience
100.
value-system
author
1
1.
European Added Value Unit
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT