Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

dependent type theory (keyword)

—

—

—

—

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..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 3
Look more.. (1/225)
Export

export all inquiry results (3)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derarXiv.org2020 / 32 p https://doi.org/10.4230/LIPIcs.FSCD.2019.5

journal article
2

journal article EST / journal article ENG

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
3

journal article EST / journal article ENG

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 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

1. dependent type theory
2. time-dependent density functional theory (TD-DFT)
3. homotopy type theory
4. ticked cubical type theory
5. type theory
6. three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
7. activity-dependent
8. cAMP-dependent protein kinase
9. depth-dependent roughness
10. frequency-dependent attenuation
11. groundwater dependent ecosystems
12. Rho-dependent protein kinase
13. scale-dependent processes
14. space-dependent coefficients
15. space-dependent diffusivity
16. time-dependent drift
17. voltage-dependent anion channel VDAC
18. Abel type integral equations
19. atrium-type buildings
20. Blackman- and Rogosinski-type approximation processes
21. Blackman-type approximation processes
22. Boussinesq-type equation
23. Boussinesq-type equations
24. case-type furniture
25. cell type-specific gene expression
26. cosine-type approximation processes
27. direct matrix type
28. DyP-type peroxidases
29. effect of cellulose type and DP
30. electrode type
31. entity type
32. flow of the “gas–solid particles” type
33. fluorite-type fluorides
34. Gauss-Newton-type methods
35. Gauss–Newton-type methods
36. generalized Kantorovich-type sampling operators
37. grounding type
38. hypercholesterolemia type II
39. ideal type
40. massive machine type communication (mMTC)
41. massive machine-type communication (mMTC)
42. massive machine-type communications (mMTC)
43. massive Machine-Type connections (mMTC)
44. mixed type building
45. multi-type dislocation substructure
46. narcolepsy type 1
47. optical water type
48. Piston type wave maker
49. porcine circovirus type 2 (PCV2) ORF3
50. porcine circovirus type-2
51. proprotein convertase subtilisin/kexin type 9
52. proprotein convertase subtilisin−kexin type (9PCSK9)
53. p-type 4H-SiC
54. p-type transparent semiconductor
55. quasi-impedance-source inverter (3L-T-type qZS inverter)
56. quasi-impedance-source T-type inverters
57. recurrence type
58. Reetz-Keck-type allylation
59. Rogosinski-type approximation processes
60. R-type anion currents
61. singular integral of Fejér's type
62. Swiss-type cheese
63. three-level T-type
64. three-level T-type inverter
65. timber saddle-shaped (hypar-type) shell roof
66. transparent p-type electrode
67. T-type inverter
68. type 2 diabetes mellitus
69. type I collagen
70. type Q semigroups
71. type V hyperlipidemia
72. type vs. occurrence-referential notations
73. type vs. occurrence-referentiality
74. type-2-diabetes
75. type-driven development
76. WordNet type dictionaries
77. 3-level T-type inverter
78. a coherent theory of proofs
79. activity theory
80. adaptive structuration theory (AST)
81. algebraic number theory
82. algebraic theory
83. algorithm design and theory
84. beam theory
85. bicategory theory
86. catastrophe theory
87. category theory
88. chaos theory
89. coding theory
90. cognitive theory
91. commitment theory
92. communication channels (information theory)
93. complexity leadership theory
94. complexity theory
95. computation theory
96. computer softwaregraph theory
97. conservation of resources theory
98. Consumer Culture Theory
99. control theory
100. Cooper-Helmstetter cell cycle theory
101. cosmology: theory
102. critical theory of technology
103. cultural theory of international relations
104. dark matter theory
105. decision theory
106. Dempster-Shafer theory
107. Demster-Shafer Theory
108. density functional theory
109. density functional theory (DFT)
110. design theory
111. development theory
112. Digital Government Theory: Development and Application
113. dispersive theory
114. domain theory
115. ecological systems theory
116. economic theory
117. end of theory
118. energetic impact theory
119. enriched category theory
120. evolutionary theory of policy capacity
121. Flow theory
122. formal category theory
123. formal language theory
124. fully nonlinear potential theory
125. game theory
126. general systems theory
127. general theory of information transfer
128. general vibration theory
129. graph theory
130. gravitational waves / theory
131. grounded theory
132. group theory
133. group threat theory
134. higher-order beam theory
135. History and Theory
136. homotopy theory
137. housemoney effect prospect theory
138. iceberg theory of culture
139. image theory
140. information theory
141. innovation theory
142. institutional theory
143. intellectual capital theory
144. interdependence theory
145. inverse problem theory/applications
146. inverse problems theory/applications
147. job search theory
148. Lawvere theory
149. layer-wise displacement theory
150. linear systems theory
151. maritime investment theory
152. mechanism design theory
153. middle-range theory
154. modern portfolio theory
155. network theory
156. nonlinear shallow water theory
157. nonlinear shallow-water theory
158. nonlinear strip theory
159. nonlinear theory
160. normal torsion theory
161. number theory
162. organization theory
163. organizational theory
164. peer‐to‐peer theory
165. perceived customer value theory
166. phase field theory
167. picture theory
168. protection motivation theory
169. proto-theory of design
170. punctuated equilibrium theory
171. rational choice theory
172. real options theory
173. realization theory
174. reduction theory
175. refined zigzag theory
176. regulatory focus theory
177. sampling theory
178. scapegoat theory
179. search and matching theory
180. self-determination theory
181. self-determination theory of work motivation
182. set theory
183. shallow water theory
184. shallow‐water theory
185. sign theory
186. signalling theory
187. social identity theory
188. social practice theory
189. social presence theory
190. social representation theory
191. social system theory
192. social systems theory
193. sociological curriculum theory
194. speech-act theory
195. stakeholder theory
196. Stakeholder-oriented decision theory
197. State Theory
198. stimulus-organism-response theory
199. stochastic learning theory
200. strategic narrative theory
201. strategic narrative theory
202. Straussian theory model
203. structuration theory
204. switching theory
205. synchronous reference frame theory
206. system theory
207. systems theory
208. the RAT theory
209. theory
210. theory and practice of meta-modelling with application in healthcare
211. theory of accounting
212. Theory of computation
213. Theory Of Constraints (TOC)
214. theory of economic development
215. theory of inventive problem solving (TRIZ)
216. theory of natural disaster
217. Theory of paradox
218. theory of planned behavior
219. theory of planned behaviour
220. theory of signs
221. theory of value
222. unified theory of acceptance and use of technology
223. value theory
224. virtual disc theory
225. 2D+T theory

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu