hbr/Lambda-Calculus

Issues

• typos in CoC paper

  #10 opened 6 months ago
  4

• Lemma 3.12 variable typo?

  #9 opened 2 years ago
  1

• Small typo in Lemma 3.6 on page 20

  #8 opened 2 years ago
  2

• Error in the Pair-Example (pdf-version)

  #7 opened 2 years ago
  3

• Tildes

  #6 opened 4 years ago
  3

• arrow formatting

  #4 opened 2 years ago
  2