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

vaste

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 Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu