о том, как структуры, придуманные для нужд TCS используются в физике

[triampurum]

Domain Theory and General Relativity, http://www.cs.mcgill.ca/~prakash/Pubs/dom_gr_review.pdf