Calculus of constructions

English Wikipedia

3 thanks recorded by the source corpus.

View on Wikipedia: https://en.wikipedia.org/wiki/Calculus_of_constructions