_CoqProject - lambda - Fundamental objects and results in the untyped lambda calculus.

about summary refs log tree commit diff

path: root/_CoqProject

blob: 9327ff48a068fdf7fd3944e3620d784b1cd3c7ac (plain)

-R theories Lambda
theories/Equivalence.v
theories/Evaluation.v
theories/L.v
theories/UniformConfluence.v