This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Teachers » Yiorgos Stavrinos

Yiorgos Stavrinos

Photo of Stavrinos

Yiorgos Stavrinos

  • PhD, National and Technical University of Athens
  • MPLA
Email: g [░periοd░] stavrinos ┊ át-sign ┊ math [░periοd░] ntua [░periοd░] gr

courses given

Course Semester
Λ1. Mathematical logic 2014-2015, spring semester
Λ14. Introduction to λ-calculus 2014-2015, spring semester
Λ14. Introduction to λ-calculus 2012-2013, spring semester
Λ15. Proof theory 2012-2013, fall semester
Λ15. Proof theory 2009-2010, fall semester
Λ14. Introduction to λ-calculus 2008-2009, spring semester
Λ07Ο. Linear logic 2007-2008, spring semester
Λ15. Proof theory 2007-2008, fall semester
Λ98Γ. Category theory and applications 2006-2007, fall semester
Λ14. Introduction to λ-calculus 2005-2006, spring semester
Λ15. Proof theory 2005-2006, fall semester
Λ14. Introduction to λ-calculus 2004-2005, spring semester
Λ04Α. Proofs and programs 2004-2005, fall semester
Λ15. Proof theory 2003-2004, spring semester
Λ14. Introduction to λ-calculus 2003-2004, fall semester
Λ15. Proof theory 2002-2003, spring semester
Λ14. Introduction to λ-calculus 2001-2002, spring semester
17 courses.

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.

Reporter

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