Nikos Tzevelekos

Nikos Tzevelekos

Visiting Academic

Themes:

• Quantum

Completed Projects:

• LINT
• Metacomputation

See also

• Home Page (with Publications, Talks, etc.)

Selected Publications

View AllManage publications

• Nominal Game Semantics

  Nikos Tzevelekos

  No. RR−09−18. OUCL. December, 2009.

  Details about Nominal Game Semantics | BibTeX data for Nominal Game Semantics | Download  (pdf) of Nominal Game Semantics

Activities

• Quantum Group