Ryan Ingram (ryani) wrote,

To pozorvlak

To pozorvlak:

Can you please explain the section "Categorical Models of Type Theory" in the wikipedia entry on Intuitionistic Type Theory?

I understand (most) of the words on their own, but the sentences seem to just stop making sense to me as I read it.
  • Post a new comment


    default userpic

    Your reply will be screened

    Your IP address will be recorded