Barendregt–Geuvers–Klop conjecture

1. REDIRECT Pure type system {{R with possibilities}}

{{DEFAULTSORT:Barendregt-Geuvers-Klop conjecture}}

Category:Unsolved problems in computer science

Category:Conjectures