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..
(3/109)
Export
export all inquiry results
(3)
Save TXT 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
107
1.
call-by-value
2.
call-by-push value
3.
call
4.
call data record
5.
call detail records
6.
call for action in molecular life sciences education
7.
call-by-name
8.
CALL-technology
9.
computer-assisted language learning (CALL)
10.
added value
11.
advertising value
12.
areas of cultural and environmental value
13.
assessment of calorific value and moisture content
14.
boundary value problem
15.
boundary value problems
16.
calorific value
17.
charter value
18.
cocreated brand value
19.
conditional value at risk (CVaR)
20.
consumer digital cocreated value
21.
Consumer-perceived value (CPV)
22.
course-of-value function
23.
cultural value
24.
customer engagement value
25.
customer value
26.
design value
27.
Ducoffe’s advertisement value model
28.
European added value
29.
E-value
30.
extreme value analysis
31.
extreme value distribution
32.
extreme value distributions
33.
extreme value statistics
34.
firm value
35.
generalised extreme value (GEV)
36.
generalised extreme value distribution
37.
global value chain
38.
global value chains (GVC)
39.
gross calorific value
40.
heating value
41.
information value
42.
innovation value
43.
Islamic public value
44.
market value added
45.
milieu value
46.
moisture buffer value
47.
net present value
48.
Net Present Value (NPV)
49.
non-market value
50.
non-use value
51.
oil shale value chain
52.
open value network
53.
perceived customer value theory
54.
perceived value of an innovation
55.
portrait value questionnaire
56.
price and value of housing
57.
public value
58.
public value sphere
59.
recreation value
60.
sampled measure value
61.
service value
62.
services value chain collaboration
63.
shareholder value
64.
smart service value (SSV)
65.
social value
66.
Stakeholder value
67.
zero value
68.
target value design
69.
the co-creation of value
70.
theory of value
71.
Utilitarian/hedonic/social value
72.
value
73.
value activity cycle
74.
value added
75.
value adding REE chain
76.
value alignment
77.
value as a commons
78.
value at risk
79.
value centric design
80.
value chain
81.
value cocreation
82.
value co-creation
83.
value creation
84.
value dissipation
85.
value distribution
86.
value network analysis
87.
value of ecosystem services
88.
value of learning
89.
value of lost load
90.
value propositions
91.
value set
92.
value settings
93.
value steam mapping
94.
value stream mapping
95.
value system
96.
value systems
97.
value theory
98.
value-added activities (VA)
99.
value-added bioproducts
100.
value-added intellectual coefficient
101.
value-added tax
102.
value-based design
103.
value-centric business
104.
value-centric design
105.
value-centric model
106.
value-in-experience
107.
value-system
author
1
1.
European Added Value Unit
TalTech subject term
1
1.
Islamic Public Value Network
×
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