• Home
  • Learn More
    • A Situated Programming Manifesto
    • Propositions Are Not Types: Naturalizing Information Content in Computing
    • Theoretical Motivation and Protocol Specification
    • Source Code
  • Contact

SENTERS

Read the Manifesto