Skip to main content
MathOverflow

Return to Question

Post Made Community Wiki by Asaf Karagila♦
edited body
Source Link
Glorfindel
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

I am only a beginner in the field of type theory, and I'm wondering if the community could point me out a few open problems in the field. I have a good background in logic, in particular, proof theory and I have a reasonable knowledge on category theory. While I am interested in homotopy type theory, I'd like to receive answers that point to flavors of type theory other than HoTT because open problems in HoTT are not difficult to find on the web (problems in HoTT are still welcome though). This is my very first question in this site so please feel free to edit, point mistakes and criticize my question.

Thank Youyou for your attention!

I am only a beginner in the field of type theory, and I'm wondering if the community could point me out a few open problems in the field. I have a good background in logic, in particular, proof theory and I have a reasonable knowledge on category theory. While I am interested in homotopy type theory, I'd like to receive answers that point to flavors of type theory other than HoTT because open problems in HoTT are not difficult to find on the web (problems in HoTT are still welcome though). This is my very first question in this site so please feel free to edit, point mistakes and criticize my question.

Thank You for your attention!

I am only a beginner in the field of type theory, and I'm wondering if the community could point me out a few open problems in the field. I have a good background in logic, in particular, proof theory and I have a reasonable knowledge on category theory. While I am interested in homotopy type theory, I'd like to receive answers that point to flavors of type theory other than HoTT because open problems in HoTT are not difficult to find on the web (problems in HoTT are still welcome though). This is my very first question in this site so please feel free to edit, point mistakes and criticize my question.

Thank you for your attention!

formatting
Source Link
YCor
YCor
  • 63.9k
  • 5
  • 187
  • 286

Open Problemsproblems in Type Theorytype theory

I am only a beginner in the field of Type Theorytype theory, and I'm wondering if the community could point me out a few open problems in the field. I have a good background in logic, in particular, Proof Theoryproof theory and I have a reasonable knowledge on Category Theorycategory theory. While I am interested in Homotopy Type Theoryhomotopy type theory, I'd like to receive answers that point to flavors of type theory other than HoTT because open problems in HoTT are not difficult to find on the web (problems in HoTT are still welcome though). This is my very first question in this site so please feel free to edit, point mistakes and criticize my question.

Thank You for your attention!

Open Problems in Type Theory

I am only a beginner in the field of Type Theory, and I'm wondering if the community could point me out a few open problems in the field. I have a good background in logic, in particular, Proof Theory and I have a reasonable knowledge on Category Theory. While I am interested in Homotopy Type Theory, I'd like to receive answers that point to flavors of type theory other than HoTT because open problems in HoTT are not difficult to find on the web (problems in HoTT are still welcome though). This is my very first question in this site so please feel free to edit, point mistakes and criticize my question.

Thank You for your attention!

Open problems in type theory

I am only a beginner in the field of type theory, and I'm wondering if the community could point me out a few open problems in the field. I have a good background in logic, in particular, proof theory and I have a reasonable knowledge on category theory. While I am interested in homotopy type theory, I'd like to receive answers that point to flavors of type theory other than HoTT because open problems in HoTT are not difficult to find on the web (problems in HoTT are still welcome though). This is my very first question in this site so please feel free to edit, point mistakes and criticize my question.

Thank You for your attention!

Source Link
Guimarães
Guimarães
  • 31
  • 3

Open Problems in Type Theory

I am only a beginner in the field of Type Theory, and I'm wondering if the community could point me out a few open problems in the field. I have a good background in logic, in particular, Proof Theory and I have a reasonable knowledge on Category Theory. While I am interested in Homotopy Type Theory, I'd like to receive answers that point to flavors of type theory other than HoTT because open problems in HoTT are not difficult to find on the web (problems in HoTT are still welcome though). This is my very first question in this site so please feel free to edit, point mistakes and criticize my question.

Thank You for your attention!