Skip to content

Philippe Audebaud

  • Associate Professor
  • École Normale Supérieure de Lyon / Université Claude Bernard Lyon 1
  • 2PublicationsNumber of items in Philippe's My Publications folder on Mendeley.
  • 1Followers

About

Empty

Recent publications

  • Deriving proof rules from continuation semantics

    • Audebaud P
    • Zucca E
    N/AReaders
    N/ACitations
  • Explicit Substitutions for the Lambda-Mu-Calculus.

    • Audebaud P
    N/AReaders
    N/ACitations

Professional experience

Associate Professor

École Normale Supérieure de Lyon / Université Claude Bernard Lyon 1

September 1992 - Present

Education

WTF

January 1903 - July 2012(110 years)

Groups

Followers (1)

Following (2)