• Previous Day
  • |
  • Next Day

2023-02-17

dmm: (Default)
2023-02-17 08:47 pm
  • Add Memory
  • Share This Entry
Entry tags:
  • dana scott,
  • logic,
  • mathematics

Selected Papers of Dana S. Scott

github.com/CMU-HoTT/scott
  • Add Memory
  • Share This Entry
  • Link
  • 3 comments
  • Post a new comment
  • Previous Day
  • |
  • Next Day

[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]