Murdoch James Gabbay
Edit Page
Report
Scan day: 07 February 2014 UTC
56
Virus safety - good
Description: Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information.
Murdoch Gabbay, mathematics, nominal techniques, logic, and photographs in mathematical computer science, specialising in the interface between logic, language, and semantics. I’m known for co-inventing the ‘nominal sets’ model of names and binding as variously implemented in nominal terms, nominal unification, nominal logic, nominal sets, nominal rewriting, nominal algebra—you get the idea. Names are hard-wired into the human brain and I try to understand them. Check out my
Size: 487 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Murdoch Gabbay, mathematics, nominal techniques, logic, and photographs |
| Keywords: | |
| Description: | |
| IP-address: | 69.5.17.159 |