This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Persons » Γιώργος Σταυρινός

Γιώργος Σταυρινός

Photo of Stavrinos

Γιώργος Σταυρινός

  • Διδάκτορας, National and Technical University of Athens
  • ΜΠΛΑ
Email: (upside-down) ɹƃ˙ɐnʇu˙ɥʇɐɯ@souᴉɹʌɐʇs˙ƃ

seminars given

ημερομηνία τίτλος
2009/02/06 Generalized developments in the lambda-calculus
1 seminar.

MSc theses supervised

τίτλος student defense
Cut Elimination in Deep Inference Παναγιώτης Τσατσάνης 2011-11-22
On a logical foundation of the intersection types assignment system: Intersection Logics Αναστασία Βενέτη 2007-12-01
A linear analysis of classical proofs Γεώργιος Τσοτάκος 2005-10-01
3 MSc theses.

Further information

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.