| ZeilbergerN-{ | hide text |
| 180418-111647: | Lambda calculus and trivalent graphs (8). |
| 180418-111646: | Lambda calculus and trivalent graphs (7). |
| 180418-111645: | Lambda calculus and trivalent graphs (6). |
| 180418-111644: | Lambda calculus and trivalent graphs (5). |
| 180418-111643: | Lambda calculus and trivalent graphs (4). |
| 180418-111642: | Lambda calculus and trivalent graphs (3). |
| 180418-111641: | Lambda calculus and trivalent graphs (2). |
| 180418-111640: | Lambda calculus and trivalent graphs. |
| } |