Article,

Boolean Types in Dependent Theories.

, , and .
J. Symb. Log., 87 (4): 1349-1373 (December 2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews