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/218)
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. design theory
107. development theory
108. Digital Government Theory: Development and Application
109. dispersive theory
110. domain theory
111. ecological systems theory
112. economic theory
113. end of theory
114. energetic impact theory
115. evolutionary theory of policy capacity
116. Flow theory
117. formal language theory
118. fully nonlinear potential theory
119. game theory
120. general systems theory
121. general theory of information transfer
122. general vibration theory
123. graph theory
124. gravitational waves / theory
125. grounded theory
126. group theory
127. group threat theory
128. higher-order beam theory
129. History and Theory
130. homotopy theory
131. housemoney effect prospect theory
132. iceberg theory of culture
133. image theory
134. information theory
135. innovation theory
136. institutional theory
137. intellectual capital theory
138. interdependence theory
139. inverse problem theory/applications
140. inverse problems theory/applications
141. job search theory
142. Lawvere theory
143. layer-wise displacement theory
144. linear systems theory
145. maritime investment theory
146. mechanism design theory
147. middle-range theory
148. modern portfolio theory
149. network theory
150. nonlinear shallow water theory
151. nonlinear shallow-water theory
152. nonlinear strip theory
153. nonlinear theory
154. normal torsion theory
155. number theory
156. organization theory
157. organizational theory
158. peer‐to‐peer theory
159. perceived customer value theory
160. phase field theory
161. picture theory
162. protection motivation theory
163. proto-theory of design
164. punctuated equilibrium theory
165. rational choice theory
166. real options theory
167. realization theory
168. reduction theory
169. refined zigzag theory
170. regulatory focus theory
171. sampling theory
172. scapegoat theory
173. search and matching theory
174. self-determination theory
175. self-determination theory of work motivation
176. set theory
177. shallow water theory
178. shallow‐water theory
179. sign theory
180. signalling theory
181. social identity theory
182. social practice theory
183. social presence theory
184. social representation theory
185. social system theory
186. social systems theory
187. sociological curriculum theory
188. speech-act theory
189. stakeholder theory
190. Stakeholder-oriented decision theory
191. State Theory
192. stimulus-organism-response theory
193. stochastic learning theory
194. strategic narrative theory
195. strategic narrative theory
196. Straussian theory model
197. structuration theory
198. switching theory
199. synchronous reference frame theory
200. system theory
201. systems theory
202. the RAT theory
203. theory
204. theory and practice of meta-modelling with application in healthcare
205. theory of accounting
206. Theory Of Constraints (TOC)
207. theory of economic development
208. theory of inventive problem solving (TRIZ)
209. theory of natural disaster
210. Theory of paradox
211. theory of planned behavior
212. theory of planned behaviour
213. theory of signs
214. theory of value
215. unified theory of acceptance and use of technology
216. value theory
217. virtual disc theory
218. 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