Weak Normalization for the Simply Typed Lambda Calculus with Products, Sums, Unit, and Empty Type - Androma

Weak Normalization for the Simply Typed Lambda Calculus with Products, Sums, Unit, and Empty Type

Weak Normalization for the Simply Typed Lambda Calculus with Products, Sums, Unit, and Empty Type

No pull requests yet

Pull requests let you propose changes to this theorem's content.

Create Pull Request