1 expert in "type theory and logic" found: