Ismail Kuru

icon indicating a website link ismailkuru.github.io

icon location Izmir icon location logic, type theory, category theory, programming systems, human-friendly and usable proofs

Results 0 repositories owned by Ismail Kuru