constructive type theory
Recently Published Documents
TOTAL DOCUMENTS
68
(FIVE YEARS 6)
H-INDEX
9
(FIVE YEARS 1)
Keyword(s):
2020 ◽
Vol 351
◽
pp. 187-203
Keyword(s):
Keyword(s):
2019 ◽
Vol 29
(4)
◽
pp. 469-486
◽
Keyword(s):
2018 ◽
Vol 338
◽
pp. 79-95
◽
Keyword(s):
2018 ◽
Vol 274
◽
pp. 27-41
Keyword(s):
2018 ◽
Vol 274
◽
pp. 11-26
◽
2018 ◽
Vol 28
(9)
◽
pp. 1578-1605
Keyword(s):