This is an excellent summary of older work but it needs to be updated with modern type theory. See the following: https://papers.ssrn.com/sol3/papers.cfm?abst

This is an excellent summary of older work but it needs to be updated with modern type theory. See the following: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003