hbr Lambda-Calculus issues - Githubissues

hbr / Lambda-Calculus

Some papers on "Lambda Calculus"

22 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

typos in CoC paper

#10 tromp opened 3 weeks ago
4
Lemma 3.12 variable typo?

#9 AlienKevin closed 1 year ago
1
Small typo in Lemma 3.6 on page 20

#8 AlienKevin closed 1 year ago
2
Error in the Pair-Example (pdf-version)

#7 klartext closed 1 year ago
3
Tildes

#6 ursi closed 3 years ago
3
Fill in missing r's

#5 ursi closed 3 years ago
0
arrow formatting

#4 ursi closed 1 year ago
2
Fix proof

#3 ursi closed 3 years ago
4
Make more clear

#2 ursi closed 3 years ago
0
Fix typos

#1 ursi closed 3 years ago
0