Report copyright - Martin-L¨of’s Type Theory - Chalmersbengt/papers/hlcs.pdf · The type theory described in this chapter has been developed by Martin-L¨of ... a type checker [27]; this is important
Please pass captcha verification before submit form