Michael Norrish@mn200 
lambda-calculus top 10 theorem-proving top 100 formal-verification top 100

Expertise

Global rank

# 197,793

Location

Canberra
Languages
OCaml
TeX
Haskell
Common ...
Products
sed
Topics
lambda-...
theorem...
formal-...
standar...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.