Find link

language:

Find link is a tool written by Edward Betts.

searching for Pure type system 1 found (8 total)

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