Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

homotopy 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 2
Look more.. (1/214)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article EST / journal article ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
2

book article EST / book article ENG

Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

Number of records 2, displaying 1 - 2

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