They were introduced by Valeria de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Gödel's dialectica interpretation—hence the name.
Star Trek: Deep Space Nine | International Space Station | Space Shuttle | European Space Agency | Kennedy Space Center | National Air and Space Museum | Space Shuttle Challenger | Hubble Space Telescope | Marshall Space Flight Center | Lost in Space | Lyndon B. Johnson Space Center | 2001: A Space Odyssey | Goddard Space Flight Center | Three-dimensional space | Space Invaders | 2001: A Space Odyssey (film) | Space: 1999 | Space Shuttle Columbia | Symphony Space | space | Euclidean space | space shuttle | Space Shuttle Challenger disaster | Space Jam | Space Shuttle Discovery | Space Shuttle Columbia disaster | Space Oddity | Spitzer Space Telescope | outer space | It Came from Outer Space |