Skip to content

Alvaro Garcia-Perez

    • 6PublicationsNumber of items in Alvaro's My Publications folder on Mendeley.
    • 1Followers

    Recent publications

    • A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

      • García-Pérez A
      • Nogueira P
      N/AReaders
      N/ACitations
      Get full text
    • Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order

      • García-Pérez Á
      • Nogueira P
      • Moreno-Navarro J
      N/AReaders
      N/ACitations
      Get full text

    Professional experience

    Predoctoral Researcher

    IMDEA Software Institute

    July 2008 - September 2014(6 years)

    Followers (1)