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