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