"This manuscript presents a type-theoretic foundation for mathematics in which each type is associated with an equality relation in correspondence with the standard notions of isomorphism in mathematics. The main result is an abstraction theorem stating that isomorphic objects are inter-substitutable in well-typed contexts."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Implementation and Abstraction in Mathematics
https://en.wikiquote.org/wiki/David_A._McAllester
Revision History
No revisions have been submitted for this quote.
Categories
David A. McAllester
2 quotes on TrueQuotesView all quotes by David A. McAllester →
Related Quotes
"We describe a state-of-the-art system for finding objects in cluttered images. Our system is based on deformable mode…"
"For him delicious flavors dwell In books as in old Muscatel."
"And in the evening, everywhere Along the roadside, up and down, I see the golden torches flare Like lighted street-la…"
"Song like a rose should be; Each rhyme a petal sweet; For fragrance, melody, That when her lips repeat The words, her…"
"The hunter catches a dreadful prey, the seaman steers his ship into an unspeakable harbor, the plowman sows and reaps…"
"You are the king no doubt, but in one respect, at least, I am your equal: the right to reply. I claim that privilege …"
"When Hector heard that challenge he rejoiced and right in the no man's land along his lines he strode, gripping his s…"
"In the ancient land of vintage and dance and sun-burnt mirth, there resounded during the Middle Ages a sweet chorus o…"
"The poetry of the troubadours was essentially social in character. Unlike Goethe's minstrel, who sang as the bird amo…"
"In the eleventh century the nobility, which had previously been terribly rough and barbarous, began to grow more refi…"