spl phd-thesis issues - Githubissues

spl / phd-thesis

PhD thesis of Sean Leather

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Use a vertical downward arrow for rewriting?

#12 spl opened 9 years ago
0
Review "Work it, wrap it, fix it, fold it"

#11 spl opened 9 years ago
0
Use subproofs in transformation semantics proofs

#10 spl opened 9 years ago
0
Different symbols for R used in rule set vs. target type?

#9 spl opened 9 years ago
0
Fix lifting of schemes and environments

#8 spl opened 9 years ago
0
Use logical relations instead of difunctors

#7 spl opened 9 years ago
0
Use substitutions instead of functors for transformation type and environment

#6 spl opened 9 years ago
0
Clarify connection between inversion property and transformation typing

#5 spl opened 9 years ago
0
Identify all the adjectives of the transformation relation

#4 spl opened 9 years ago
1
Essential semantics? call-by-name or something else

#3 spl opened 9 years ago
0
Do we really need eta reduction?

#2 spl opened 9 years ago
0
Equal types do not imply complete transformation

#1 spl opened 9 years ago
0