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