Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Pure type system 1 found (8 total)
alternate case: pure type system
List of unsolved problems in computer science
(1,167 words)
[view diff]
exact match in snippet
view article
find links to article
? Barendregt–Geuvers–Klop conjecture: Is every weakly normalizing pure type system also strongly normalizing? Is the Aanderaa–Karp–Rosenberg conjecture