Skip to main navigation Skip to search Skip to main content

Head reduction and normalization in a call-by-value lambda-calculus

  • Giulio Guerrieri
  • Université Paris Diderot
  • Sorbonne Paris Cité

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

11   Link opens in a new tab Citations (SciVal)

Fingerprint

Dive into the research topics of 'Head reduction and normalization in a call-by-value lambda-calculus'. Together they form a unique fingerprint.
Sort by

Computer Science