mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Persons » Yiorgos Stavrinos

Yiorgos Stavrinos

Photo of Stavrinos

Yiorgos Stavrinos

  • PhD, National and Technical University of Athens
  • MPLA
Email: g|˙|stavrinos( át-symbol )math|˙|ntua|˙|gr

seminars given

date title
2009/02/06 Generalized developments in the lambda-calculus
1 seminar.

MSc theses supervised

title student defense
Cut Elimination in Deep Inference Panagiotis Tsatsanis 2011-11-22
On a logical foundation of the intersection types assignment system: Intersection Logics Anastasia Veneti 2007-12-01
A linear analysis of classical proofs Georgios Tsotakos 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.