| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Equivalence.v | 5472 | logplain |
| -rw-r--r-- | Evaluation.v | 20487 | logplain |
| -rw-r--r-- | L.v | 9971 | logplain |
| -rw-r--r-- | UniformConfluence.v | 10887 | logplain |
 |
index : lambda | |
| Fundamental objects and results in the untyped lambda calculus. | Daniel Rostovtsev |
| aboutsummaryrefslogtreecommitdiff |